Re: Claude AI sums up my work in one page

From	olcott <polcott333@gmail.com>
Newsgroups	comp.lang.c++, comp.theory, comp.lang.c
Subject	Re: Claude AI sums up my work in one page
Followup-To	comp.theory
Date	2025-08-10 21:01 -0500
Organization	A noiseless patient Spider
Message-ID	<107bit0$28fle$5@dont-email.me> (permalink)
References	<1079csv$1mllm$1@dont-email.me> <Xh0mQ.5620$sHH5.232@fx16.ams4>

Cross-posted to 3 groups.

Followups directed to: comp.theory

Show all headers | View raw

On 8/10/2025 7:30 AM, Mr Flibble wrote:
> On Sun, 10 Aug 2025 01:06:23 -0500, olcott wrote:
> 
>> Claude AI proved why HHH(DD)==0 is correct in terms that any expert C
>> programmer can understand.
>> https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c
>>
>> Also https://philpapers.org/archive/OLCHPS.pdf
> 
> If DD() halts and HHH(DD) returns a result of non-halting then HHH is not
> a halt decider for DD: this just confirms that the extant Halting Problem
> proofs are correct and that you have wasted the last 22 years.
> 
> /Flibble

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

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 


All three LLM's agree that when HHH(DD) reports on the basis
of DD correctly simulated by HHH then HHH(DD)==0 is correct.

-- 
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 — Previous in thread | Find similar | Unroll thread

Thread

Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 01:06 -0500
  Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 12:30 +0000
    Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:01 -0500

csiph-web