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

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

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

Cross-posted to 2 groups.

Show all headers | View raw

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

Back to comp.lang.c++ | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

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

csiph-web