Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth ---V2
Date: Sun, 18 Aug 2024 07:32:54 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v9splm$2c67u$13@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 14:32:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/mwN6gVU6I9ZbhRJIRolPx"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:G1E167OV3T8MFUtfEnTZ9U27ggo=
In-Reply-To: <v9q52r$1tedb$1@dont-email.me>
Content-Language: en-US
Bytes: 1970

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

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer