On 2025-10-28, olcott <polcott333@gmail.com> wrote:Halt7.obj invokes HHH(DD) from main.On 10/27/2025 10:31 PM, Kaz Kylheku wrote:I've noticed and commented on it recently; that's pretty sloppy.On 2025-10-28, Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote:>On 28/10/2025 00:37, Kaz Kylheku wrote:>Thus the simulated HHH says, about the doubly-simulated DD, that the>
doubly-simulated DD halts A bug or cheat has been exposed in the
machine; it is contradicting itself.
Right. To be overly charitable to PO, I don't believe PO coded things this way with any intent at
"cheating".
Well, yes; in the first place, it was from this newgsroup that he even
heard of such a thing as a pure function, distinct from a procedure.
>
It took years for him to latch on to the concept and I'm not convinced
he's fully invested in the concept. He's willing to throw purity under the
bus when he can't solve something without impurity, even though the
problem demands purity of entities in the program, if they are to
correspond to their theoretical counterparts as required.
>Unfortunately, until the global data issue is resolved, anything your RECK code shows about the>
behaviour of PO's abandoned emulations is effectively commenting more on the fickle behaviour of
PO's global data interactions than anything else. A kind of nonsense-in-nonsense out! (Not your
fault in the slightest.)
All it has to do is directly contradict whatever he is saying. For
instance, Olcott says "DD simulated by HHH is caught in an infinite
recursive simulation and thus can never reach the
do-the-opposite code ...". But my trace of the oldest Halt7.obj shows
The Halt7.obj does not correspond to the Halt7.c the project
builds these when it is built.
The project will nto build Halt7.obj, if you're not in a Microsoft
environment with the Microsoft compiler and everything else.
Can you please commit the matching .obj every time you make a commit
changing Halt7.c? It's a basic change mangement practice.
Usually compiled artifacts are not checked in, but when they are, they
should be kept up-to-date with the sources.
Anyway, the Halt7.obj file in git has a history; there are multiple
versions of this you have committed, containing different test cases.
That has been useful.
It was build from a different Halt7.c but
the behavior should be the same.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Les messages affichés proviennent d'usenet.