Sujet : Re: Proof that DDD specifies non-halting behavior --- point by point
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 14. Aug 2024, 14:06:27
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9ia4j$f16v$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 8/14/2024 3:17 AM, Mikko wrote:
On 2024-08-14 00:52:36 +0000, olcott said:
void DDD()
{
HHH(DDD);
return;
}
In order to prove that the above specifies a non-halting behavour
you must prove that HHH(DDD) does not terminate.
Wrong.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…