Re: What I told ChatGPT is essentially identical to the first page of my paper

Am Sun, 20 Oct 2024 17:36:25 -0500 schrieb olcott:

On 10/20/2024 4:41 PM, Richard Damon wrote:

On 10/20/24 4:23 PM, olcott wrote:

On 10/20/2024 2:13 PM, Richard Damon wrote:

On 10/20/24 1:33 PM, olcott wrote:

Note, I DID tell that to Chat GPT, and it agrees that DDD, when the
criteria is what does DDD actually do, which is what the question MUST
be about to be about the Termination or Halting problem, then DDD WILL
HALT since HHH(DDD) will return 0 to it.

No one ever bother to notice that (a) A decider cannot have its actual
self as its input.

lolwut? A decider is a normal program, and it should be handled like every
other input.

(b) In the case of the pathological input DDD to emulating termination
analyzer HHH the behavior of the directly executed DDD (not an input to
HHH) is different than the behavior of DDD that is an input to HHH.

DDD *is* the input to HHH.

The executed DDD calls HHH() and this call returns. The emulated DDD
calls HHH(DDD) and this call cannot possibly return.

But whyyy doesn't HHH abort?

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