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
--- MBSE BBS v1.1.2 (Linux-x86_64)
* Origin: A noiseless patient Spider (3:633/280.2@fidonet)