Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c++ > #122859 > unrolled thread

Re: The halting problem is self-contradictory -- application to c/c++

Back to article view | Back to comp.lang.c++

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: The halting problem is self-contradictory -- application to c/c++ olcott <polcott333@gmail.com> - 2025-10-15 10:10 -0500
    Re: The halting problem is self-contradictory -- application to c/c++ "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-15 13:35 -0700

#122859 — Re: The halting problem is self-contradictory -- application to c/c++

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

[toc] | [next] | [standalone]

#122862

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!"

[...]

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.c++

csiph-web