Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis

Am Mon, 23 Jun 2025 12:40:43 -0500 schrieb olcott:

On 6/23/2025 10:34 AM, joes wrote:

Am Mon, 23 Jun 2025 09:30:07 -0500 schrieb olcott:

On 6/23/2025 6:02 AM, Richard Damon wrote:

 

In particular, the pattern you are trying to claim to use, is part of
the Halting Program D, DD, and DDD, so it is BY DEFINITION incorrect.

If you read the 38 pages you will see how this is incorrect. ChatGPT
"understands" that any program that must be aborted at some point to
prevent its infinite execution is not a halting program.

Such as HHH, making it not a decider (when simulated).
 

My claim is that

[blah blah non sequitur]
Well MY claim is that HHH simulated HHH (itself) doesn't halt.

obvious

You know what, it actually IS obvious that HHH can't simulate past the
call to HHH. Thanks for coming to my Ted talk.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.