Sujet : Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic sci.math comp.ai.philosophyDate : 23. Jun 2025, 03:11:23
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <728b9512cbf8dbf79931bfd3d5dbed265447d765@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 6/22/25 10:05 PM, olcott wrote:
Since one year ago ChatGPT increased its token limit
from 4,000 to 128,000 so that now "understands" the
complete proof of the DD example shown below.
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
*This seems to be the complete HHH(DD) that includes HHH(DDD)*
https://chatgpt.com/share/6857286e-6b48-8011-91a9-9f6e8152809f
ChatGPT agrees that I have correctly refuted every halting
problem proof technique that relies on the above pattern.
Which begins with the LIE:
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern.
Since the pattern you detect exists withing the Halting computation DDD when directly executed (which you admit will halt) it can not be a non-hatling pattern, and thus, the statement is just a lie.
Sorry, you are just proving that you basic nature is to be a liar.