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:38:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9ic1b$f16v$5@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.
That is the strawman error of reasoning.
The focus of the post was to show that DDD emulated by HHH
according to the semantics of the x86 language cannot possibly
reach its own "return" instruction.
By changing the subject you cheat.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…