Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A TIME !!!

On 2/22/2025 3:38 AM, Fred. Zwarts wrote:

Op 22.feb.2025 om 04:57 schreef olcott:

On 2/20/2025 3:52 AM, joes wrote:

>
It fails In the same way that every CAD system will never correctly
represent a geometric circle that has four equal length sides in the
same two dimensional plane.

Yes, no program will ever decide the halting status of every program.
>

>
In the exact same way that the square root of
a basket of rotten eggs is not computable.
>

Exactly, both are logically impossible. So, stop the attempt to do what is logically impossible. Stop working on a halting decider. And stop trying to program a correct simulation of HHH by itself. It is logically impossible. It as promising as working on the computation of the square root of a basket of rotten eggs.

HHH does correctly determine the non terminating status of DD.
The relationship between HHH and DD <is> isomorphic to the
relationship between the decider and its input in the standard
HP proofs.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer