Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: 197 page execution trace of DDD correctly simulated by HHH Date: Fri, 28 Jun 2024 10:28:55 -0500 Organization: A noiseless patient Spider Lines: 63 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 28 Jun 2024 17:28:55 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8e198617313100a552662932ac49ce17"; logging-data="3557750"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19c9D41Fj8zK/NDOxU0CG1S" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:bf1cffi1XqfAyRTZrID/qjq3UCs= Content-Language: en-US In-Reply-To: Bytes: 4134 On 6/28/2024 2:17 AM, Mikko wrote: > On 2024-06-27 17:07:20 +0000, olcott said: > >> Until you agree with this we cannot move on to the next >> and final point that proves I am correct. Proving that >> point may possibly take longer than the rest of my life >> so let's not delay this OK? >> >> [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 x86 emulator H0 cannot possibly return. > > If it is too hard to prove that H0 has the properties you claim > then an agreement is unlikely. Perhaps you should Δ instead and > just assume it has the properties you consider essential. The > full proof of your claim does not need much more. > It is not at all too hard to prove. It is easy to prove if you know, C, x86 emulators and the x86 language sufficiently well and impossible otherwise. https://liarparadox.org/HHH(DDD)_Full_Trace.pdf _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] The call from DDD to HHH(DDD) when N steps of DDD are correctly emulated by any pure function x86 emulator HHH cannot possibly return. The behavior of the directly executed DDD() is irrelevant because that is not the behavior of the input. Deciders compute the mapping from their actual finite string input to an output by a sequence of finite string transformations. In this case the sequence is the line-by-line execution trace of the behavior of DDD correctly emulated by HHH. The behavior of this input must include and cannot ignore the recursive emulation specified by the fact that DDD is calling its own emulator. That people think they can just pretend that this is not happening is ridiculous. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer