Sujet : Re: Anyone that disagrees with this is not telling the truth ---V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 19. Aug 2024, 12:54:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9vbqc$2rjt1$3@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 8/19/2024 2:36 AM, Mikko wrote:
On 2024-08-18 12:32:54 +0000, olcott said:
On 8/17/2024 7:29 AM, olcott wrote:
void DDD()
{
HHH(DDD);
}
>
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
>
*It is a basic fact that DDD emulated by HHH according to*
*the semantics of the x86 language cannot possibly stop*
*running unless aborted* (out of memory error excluded)
>
>
X = DDD emulated by HHH according to the semantics of the x86 language
Y = HHH never aborts its emulation of DDD
Z = DDD never stops running
>
(X ∧ Y) ↔ Z
What was wrong in the original version?
I appended the above formula
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…