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, 14:58:07
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8ld1f$3f6vr$5@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 8/3/2024 3:19 AM, Mikko wrote:
On 2024-08-02 20:57:26 +0000, olcott said:
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;
}
Everyone here understands that that depends on whther HHH returns.
Fred's understanding is worse than that.
Some have deeper understanding than that.
*Ben has the best understanding of all*
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
> I don't think that is the shell game. PO really /has/ an H
> (it's trivial to do for this one case) that correctly determines
> that P(P) *would* never stop running *unless* aborted.
...
> But H determines (correctly) that D would not halt if it
> were not halted. That much is a truism.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer