Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: 195 page execution trace of DDD correctly simulated by HH0
Date: Tue, 25 Jun 2024 14:30:21 -0500
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <v5f5sd$1mcif$1@dont-email.me>
References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me>
 <v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me>
 <v5btf3$v0vb$4@dont-email.me> <v5chru$10816$1@i2pn2.org>
 <v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me>
 <v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me>
 <v5eup8$1lar1$2@dont-email.me> <v5f1nm$1lp16$1@dont-email.me>
 <v5f246$1m2fl$1@dont-email.me> <v5f3fg$1lp16$2@dont-email.me>
 <v5f3j8$1m2fl$2@dont-email.me> <v5f54f$1lp16$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 25 Jun 2024 21:30:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="422dd2162c45ab1a09b084523bb5ca66";
	logging-data="1782351"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19snwpuuv/s0qaK5t/fy3a6"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BRZfuYz3dl3hV3mkMrgisqzxmvw=
In-Reply-To: <v5f54f$1lp16$3@dont-email.me>
Content-Language: en-US
Bytes: 2526

On 6/25/2024 2:17 PM, Fred. Zwarts wrote:
> 
> It might be true, but it is irrelevant, because the simulated H0 is 
> aborted prematurely. The simulating H0 aborts after two cycles, 

*I am not even talking about a simulating halt decider yet dumbo*
If you can't begin to comprehend x86 emulators then our conversation
is dead right here.

For every x86 emulator Ho that can possibly exist
at machine address 0000217a...

_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]

The call from DDD to H0(DDD) when DDD is correctly emulated
by H0 cannot possibly return.



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