Liste des Groupes | Revenir à c theory |
On 2/22/2025 3:38 AM, Fred. Zwarts wrote:Hoe csn that be when DD terminates when run, which is the authorative definiton of termination.Op 22.feb.2025 om 04:57 schreef olcott:On 2/20/2025 3:52 AM, joes wrote:HHH does correctly determine the non terminating status of DD.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.>>Yes, no program will ever decide the halting status of every program.
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.
>
In the exact same way that the square root of
a basket of rotten eggs is not computable.
>
The relationship between HHH and DD <is> isomorphic to the
relationship between the decider and its input in the standard
HP proofs.
Les messages affichés proviennent d'usenet.