From Newsgroup: comp.lang.c++

When we disable the abort code so that HHH(DD) is a
pure function of its inputs DD() never stops running.

Because this change has no effect on the sequence of
steps of DD correctly simulated by HHH it has no
consequence and can be generalized to every HHH/DD pair.

*Best selling author of theory of computation textbooks*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then

H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern:
abort simulation and return 0.
(b) Simulated input reaches its simulated "return" statement:
return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

Five different LLM systems formed a consensus on
the basis of the verified fact that DD correctly
simulated by HHH cannot possibly reach its own
"return" statement final halt state in any finite
number of steps.

https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141


Gemini had to be forced into do not guess mode https://g.co/gemini/share/4f44c883b348

ChatGPT 5.0 had to be forced into do not guess mode https://chatgpt.com/share/68abcbd5-cee4-8011-80d7-93e8385d90d8
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--- Synchronet 3.21a-Linux NewsLink 1.2