Deutsch English Français Italiano |
<v5i9ot$17ej0$3@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory,sci.logic Subject: Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Date: Wed, 26 Jun 2024 19:55:08 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <v5i9ot$17ej0$3@i2pn2.org> References: <v45tec$4q15$1@dont-email.me> <v4sd35$1eb2f$5@dont-email.me> <v4u3jl$1se49$1@dont-email.me> <v4umvh$1vpm0$7@dont-email.me> <v50d8k$2e51s$1@dont-email.me> <v50dtp$2e5ij$1@dont-email.me> <v51f4t$2k8ar$1@dont-email.me> <v51ge4$2kbbe$2@dont-email.me> <v539bk$329sv$1@dont-email.me> <v53upb$35vak$6@dont-email.me> <v575pl$3sg5p$1@dont-email.me> <v5767s$3soh6$1@dont-email.me> <v5e28t$11urb$5@i2pn2.org> <v5eg03$1ikpr$2@dont-email.me> <v5eho7$24l4$1@news.muc.de> <87jzidm83f.fsf@bsb.me.uk> <v5el8c$24l4$4@news.muc.de> <v5evoi$1lgoi$1@dont-email.me> <v5frvn$14bcm$6@i2pn2.org> <v5ft1p$1uc3o$2@dont-email.me> <v5fu24$14bcn$2@i2pn2.org> <v5fuf7$1up2o$1@dont-email.me> <v5fvvk$14bcn$4@i2pn2.org> <v5g1ue$1v8bm$2@dont-email.me> <v5g29u$14bcm$11@i2pn2.org> <v5g2nd$1v8bm$4@dont-email.me> <v5gsfv$15l89$2@i2pn2.org> <v5h5sd$24jbd$10@dont-email.me> <v5i8v9$17ej1$2@i2pn2.org> <v5i998$2cko8$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 23:55:09 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1292896"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <v5i998$2cko8$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 3706 Lines: 50 On 6/26/24 7:46 PM, olcott wrote: > On 6/26/2024 6:41 PM, Richard Damon wrote: >> On 6/26/24 9:42 AM, olcott wrote: >>> On 6/26/2024 6:02 AM, Richard Damon wrote: >>>> On 6/25/24 11:42 PM, olcott wrote: >>>>> >>>>> That is not the way that it actually works. >>>>> That the the way that lies are defined. >>>> >>>> Source for you claim? >>>> >>>> Where is you finite set of steps from the truthmakers of the system >>>> to that claim? >>>> >>> >>> _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. >> >> Sure it can. I have shown an H0 that does so. >> > > I already told you that example does not count. > > I can't keep repeating those details or others > that so far have no idea what an x86 emulator is > will be baffled beyond all hope of comprehension. > WHy not? Yes, YOU NEED to repeat the detail, or accept that other details can be brought up too.. ALL your plans are to call you deciders halt deciders, and thus the ONLY interpreation of their behavior is that of the directly executed program they represent. You have sort of already admitted that as you say it is by the correct x86 semantics of the input, which is basically the same thing, as it doesn't allow the emulation to be aborteed, since x86 programs don't just randomly stop.