Re: Proof that DDD specifies non-halting behavior --- point by point

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; Genius
hits a target no one else can see." Arthur Schopenhauer