Deutsch English Français Italiano |
<v5h558$24jbd$7@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: Wed, 26 Jun 2024 08:30:16 -0500 Organization: A noiseless patient Spider Lines: 71 Message-ID: <v5h558$24jbd$7@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> <v5f5sd$1mcif$1@dont-email.me> <v5ght9$21jrt$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 26 Jun 2024 15:30:17 +0200 (CEST) Injection-Info: dont-email.me; posting-host="863b71206377856c10e8f571e9178830"; logging-data="2248045"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18b4XpLvdV1pl+3MKzPOj5O" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:qPdhXoStoEBTsMEDt4hxSYUo5pE= In-Reply-To: <v5ght9$21jrt$1@dont-email.me> Content-Language: en-US Bytes: 4435 On 6/26/2024 3:01 AM, Fred. Zwarts wrote: > Op 25.jun.2024 om 21:30 schreef olcott: >> 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* > > Neither am I. Why do you mention a simulating halt decider? (Who is the > dumbo?) > Simulated H0 is never aborted. Only termination analyzers do that. >> If you can't begin to comprehend x86 emulators then our conversation >> is dead right here. > > Fortunately, I am very well able to do so. > But it seems that you have to learn a few basic facts about simulation. > >> >> 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. > > So, you repeat your claim without showing any error in my reasoning. > Therefore, I repeat again: > It is like I say 2 + 3 = 5 and you simply say no I am wrong. My reasoning is that the first four lines of DDD necessary must repeat for DDD correctly simulated by any x86 emulator at machine address 0000217a. If you reasoning is that a magic fairy sprinkles magic fairy dust on line four then you are wrong. > It might be true hat H0 cannot return, but it is irrelevant, because the > simulated H0 is aborted prematurely. The simulating H0 aborts after two > cycles, when the simulated H0 has one cycle to go before it would return. > So, the only reason that the simulated H0 does not return is that it is > aborted prematurely. A correct simulation would show that one cycle > later it would return. > It seems that it is over your head that a prematurely aborted simulation > is not a correct simulation. > There are a few reasons why a simulation can be incorrect: > 1) Some instructions are incorrectly simulated. > 2) Instructions are simulated out of order. > 3) Some instructions are not simulated at all. > Your problem is 3). > You only prove that your H0 is unable to simulate itself correctly, > because it aborts too soon and fails to simulate the end of itself. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer