Sujet : Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 03. Aug 2024, 00:06:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8jla0$31dqd$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 8/2/2024 4:41 PM, Richard Damon wrote:
On 8/2/24 4:57 PM, olcott wrote:
Who here is too stupid to know that DDD correctly simulated
by HHH cannot possibly reach its own return instruction?
>
void DDD()
{
HHH(DDD);
return;
}
>
Right, but the only HHH that correctly simulates is the one that never aborts, and thus fails to be a decider, and that isn't the HHH that you actually have shown the code for, or claim to be right.
That is probably the least stupid answer here recently.
Mikko, Joes, and Fred would probably not do as well. Let's
see if the others can catch up to at least this much.
Mike is usually pretty good at his analysis until recently.
He may not understand this key aspect as well as you do.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer