Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.cDate : 06. Apr 2025, 01:40:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vssih0$3ipb5$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 4/5/2025 6:35 PM, Richard Heathfield wrote:
On 06/04/2025 00:16, olcott wrote:
I am trying to explain how the actual HHH works
one step at a time.
But it doesn't, so you're wasting your time. The best you'll manage is to determine the termination status of /some/ programs. That's not in dispute. But all programs? Can't be done, as has been explained to you ad nauseam.
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
As long as HHH determines the correct halt status
of DD it has refuted ALL of the conventional HP proofs.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer