Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP

Am Wed, 14 May 2025 11:04:51 -0500 schrieb olcott:

The HP proofs require an input D that can actually do the opposite of
whatever value that H returns. Such an input cannot possibly exist.

H returns "D doesn't halt" and D halts. Seems possible.

A halt decider is certainly not required to report on the computation
that itself is contained within.

Yes it is, if it contains that computation in turn.

Thus HHH cannot report on the halt status of its caller because it
cannot see its caller.

Due to the "pathological relationship" its caller is the same as what
it is simulating, so it is indeed simulating itself.

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