Deutsch English Français Italiano |
<v3fj8h$2rsbs$6@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: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down --- canonical Date: Sat, 1 Jun 2024 11:46:09 -0500 Organization: A noiseless patient Spider Lines: 68 Message-ID: <v3fj8h$2rsbs$6@dont-email.me> References: <v3501h$lpnh$1@dont-email.me> <v38g31$2foi0$11@i2pn2.org> <v38gi5$1bndb$3@dont-email.me> <v38ici$2fohv$2@i2pn2.org> <v38j17$1c8ir$2@dont-email.me> <v38jgo$2foi0$14@i2pn2.org> <v38jv9$1c8ir$4@dont-email.me> <v39agi$1jiql$1@dont-email.me> <v39v3h$1mtd9$5@dont-email.me> <v3b9kj$2im02$1@i2pn2.org> <v3bale$222n5$1@dont-email.me> <v3bbs2$2im01$1@i2pn2.org> <v3bcre$22a8n$1@dont-email.me> <v3bduk$2im01$2@i2pn2.org> <v3bedb$22f8h$1@dont-email.me> <v3bfbm$2im01$3@i2pn2.org> <v3bg39$22o6m$1@dont-email.me> <v3cbhu$2k3ld$1@i2pn2.org> <v3clo2$28p7n$1@dont-email.me> <v3dft1$2lfup$1@i2pn2.org> <v3dhob$2dio8$1@dont-email.me> <v3dk0d$2lfup$2@i2pn2.org> <v3dkf2$2e2po$1@dont-email.me> <v3dmnc$2lfup$3@i2pn2.org> <v3do66$2ejq2$1@dont-email.me> <MPG.40c4fbcb474992459896fd@reader.eternal-september.org> <v3f9ha$2qh0t$1@dont-email.me> <v3ffpc$2n53n$3@i2pn2.org> <v3fgfb$2riae$2@dont-email.me> <v3fh1a$2n53o$5@i2pn2.org> <v3fhkr$2rsbs$2@dont-email.me> <v3fig4$2n53n$6@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 01 Jun 2024 18:46:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5617c6a52e82e3edb2307f1199229213"; logging-data="3010940"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/CHuMWe1LHkhUNNft2w7Fb" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:NrwwlJaelV/5he9X60rLvkWYSak= In-Reply-To: <v3fig4$2n53n$6@i2pn2.org> Content-Language: en-US Bytes: 4570 On 6/1/2024 11:33 AM, Richard Damon wrote: > On 6/1/24 12:18 PM, olcott wrote: >> On 6/1/2024 11:08 AM, Richard Damon wrote: >>> On 6/1/24 11:58 AM, olcott wrote: >>>> On 6/1/2024 10:46 AM, Richard Damon wrote: >>>>> On 6/1/24 10:00 AM, olcott wrote: >> DD correctly simulated by HH >>>>> remains stuck in recursive simulation >>>>>> all the time it is simulated even when an infinite number of steps >>>>>> are simulated. >>>>> >>>>> So, are you admitting that HH just gets stuck and doesn't answer >>>>> when asked HH(DD,DD)? >>>>> >>>> >>>> Every DD correctly simulated by any HH remains stuck in recursive >>>> simulation for 1 to ∞ steps of correct simulation. >>> >>> So? Since you definition of "Correct Simulation" is non-canonical, >>> that doesn't mean anything. >>> >> >> *When the "canonical" definition tries to get away with refuting this* >> >> DD correctly emulated by HH with an x86 emulator cannot possibly >> reach past its own machine instruction [00001c2e] in any finite >> number of steps of correct emulation. > > No, it doesn't "Refute" that, *Then what I said stands unrefuted* *Then what I said stands unrefuted* *Then what I said stands unrefuted* *We can't move on to any other point until* (a) You acknowledge that my above statement about the behavior of the x86 machine code of DD is irrefutable and applies to the C source code version of DD and applies to the Linz proof. (b) You correctly refute what I said above about the behavior of the x86 machine code of DD. >> >> _DD() >> [00001c22] 55 push ebp >> [00001c23] 8bec mov ebp,esp >> [00001c25] 51 push ecx >> [00001c26] 8b4508 mov eax,[ebp+08] >> [00001c29] 50 push eax ; push DD 1c22 >> [00001c2a] 8b4d08 mov ecx,[ebp+08] >> [00001c2d] 51 push ecx ; push DD 1c22 >> [00001c2e] e80ff7ffff call 00001342 ; call HH >> [00001c33] 83c408 add esp,+08 >> [00001c36] 8945fc mov [ebp-04],eax >> [00001c39] 837dfc00 cmp dword [ebp-04],+00 >> [00001c3d] 7402 jz 00001c41 >> [00001c3f] ebfe jmp 00001c3f >> [00001c41] 8b45fc mov eax,[ebp-04] >> [00001c44] 8be5 mov esp,ebp >> [00001c46] 5d pop ebp >> [00001c47] c3 ret >> Size in bytes:(0038) [00001c47] >> > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer