On 10/15/2025 9:50 AM, tTh wrote:

On 10/15/25 14:32, olcott wrote:

Here is that full proof.
https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c

ÿÿ Can you take those insanity out of comp.lang.c ?

I just needed a couple of cross posts.
Here is how it is related to C/C++

<Input to LLM systems>

Please think this all the way through without making any guesses

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.
(c) If HHH must abort its simulation to prevent its own non-termination
then HHH is correct to abort this simulation and return 0.

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

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

int main()
{
HHH(DD);
}

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

ChatGPT 4.0, Claude AI, ChatGPT 5.0, Grok and Gemini
all agreed that HHH(DD) should reject its input as
non-halting by returning 0. They also all were able
to provide the details of their reasoning for deriving
this conclusion.

ChatGPT paraphrase of my own words that it proves
are correct by its own reasoning.

"The halting problem, as classically formulated, relies
on an inferential step that is not justified by a
continuous chain of semantic entailment from its initial
stipulations."

https://chatgpt.com/share/68ef97b5-6770-8011-9aad-323009ca7841

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--- PyGate Linux v1.0
* Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)

On 10/15/2025 8:10 AM, olcott wrote:

On 10/15/2025 9:50 AM, tTh wrote:

On 10/15/25 14:32, olcott wrote:

Here is that full proof.
https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c

ÿÿÿ Can you take those insanity out of comp.lang.c ?

I just needed a couple of cross posts.
Here is how it is related to C/C++

<Input to LLM systems>

Please think this all the way through without making any guesses

Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern:
ÿÿÿ abort simulation and return 0.

How does that apply to:

1 HOME
5 PRINT "The Olcott All-in-One Halt Decider!"
10 INPUT "Shall I halt or not? " ; A$
30 IF A$ = "YES" GOTO 666
40 GOTO 10
666 PRINT "OK!"

[...]


--- PyGate Linux v1.0
* Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)

On 2025-10-15 15:10:47 +0000, olcott said:

On 10/15/2025 9:50 AM, tTh wrote:

On 10/15/25 14:32, olcott wrote:

Here is that full proof.
https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c

?? Can you take those insanity out of comp.lang.c ?

I just needed a couple of cross posts.
Here is how it is related to C/C++

There is nothing language specific in the halting problem.

To prove that a particular C++ program halts requires C++ specific considerations that are not needed to prove that a C program halts
but that is a separate problem, clearly distinct from the halting
problem.

--
Mikko


--- PyGate Linux v1.0
* Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)

On 10/16/2025 4:34 AM, Mikko wrote:

On 2025-10-15 15:10:47 +0000, olcott said:

On 10/15/2025 9:50 AM, tTh wrote:

On 10/15/25 14:32, olcott wrote:

Here is that full proof.
https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c

ÿÿ Can you take those insanity out of comp.lang.c ?

I just needed a couple of cross posts.
Here is how it is related to C/C++

There is nothing language specific in the halting problem.

It is just that the C code is fully operational
code that succinctly makes my point.

C programmers are probably aware that a proof
of total program correctness might be handy.

To prove that a particular C++ program halts requires C++ specific considerations that are not needed to prove that a C program halts
but that is a separate problem, clearly distinct from the halting
problem.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--- PyGate Linux v1.0
* Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)