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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)