Deutsch English Français Italiano |
<5a0adcfe00a221f0a8c3137705f1c52f68171964@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!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: Flat out dishonest or totally ignorant? --- Olcott seems to be willfully ignorant Date: Wed, 3 Jul 2024 19:18:55 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <5a0adcfe00a221f0a8c3137705f1c52f68171964@i2pn2.org> References: <v5vkun$1b0k9$1@dont-email.me> <v60dci$1ib5p$1@dont-email.me> <v60red$1kr1q$2@dont-email.me> <v61hn7$1oec9$1@dont-email.me> <v61ipa$1og2o$2@dont-email.me> <v61jod$1oec9$2@dont-email.me> <v61leu$1p1uo$1@dont-email.me> <7b6a00827bfcc84e99e19a0d0ae6028ebcdc263c@i2pn2.org> <v620vu$1qutj$2@dont-email.me> <f6e8f5de9a1e61c7970a92145ce8c1f9087ba431@i2pn2.org> <v628ts$1s632$1@dont-email.me> <178edf6a7c5329df35a9af6852ecbd41c0948ea1@i2pn2.org> <v629mp$1s632$3@dont-email.me> <168858894febbaa529d1704ea864bbe15cb8f635@i2pn2.org> <v62bgv$1s632$6@dont-email.me> <211a07c98d1fc183ed3e6c079ec1e883dd45f1cc@i2pn2.org> <v62f92$20moo$3@dont-email.me> <v632cm$23ohm$1@dont-email.me> <v63jbh$26loi$5@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 3 Jul 2024 23:18:55 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2057085"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <v63jbh$26loi$5@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 4430 Lines: 74 On 7/3/24 9:22 AM, olcott wrote: > On 7/3/2024 3:33 AM, Fred. Zwarts wrote: >> Op 03.jul.2024 om 05:07 schreef olcott: >>> On 7/2/2024 9:35 PM, Richard Damon wrote: >>>> On 7/2/24 10:03 PM, olcott wrote: >>>>> On 7/2/2024 8:51 PM, Richard Damon wrote: >>>>>> On 7/2/24 9:32 PM, olcott wrote: >>>>>>> On 7/2/2024 8:25 PM, Richard Damon wrote: >>>>>>>> On 7/2/24 9:18 PM, olcott wrote: >>>>>>>> >>>>>>>>> Professor Sipser probably does understand the x86 language. >>>>>>>>> Shared-memory implementation of the Karp-Sipser >>>>>>>>> kernelization process >>>>>>>>> https://inria.hal.science/hal-03404798/file/hipc2021.pdf >>>>>>>>> >>>>>>>>> >>>>>>>> And the x86 language says the same thing, >>>>>>>> >>>>>>>> YOU are just a liar, as proved by the fact that you can not give >>>>>>>> the Diagonalization proof you claimed you had. >>>>>>>> >>>>>>>> Sorry, you are just too stupid to understand. >>>>>>> >>>>>>> You continue to assume that you can simply disagree >>>>>>> with the x86 language. My memory was refreshed that >>>>>>> called you stupid would be a sin according to Christ. >>>>>>> I really want to do the best I can to repent. >>>>>>> >>>>>> >>>>>> But I am NOT disagreeing with the x86 language. >>>>>> >>>>>> Can you point out what fact of it I am disagreing about it? >>>>>> >>>>> >>>>> You keep trying to get away with saying that the simulation is >>>>> incorrect when the semantics of the x86 language conclusively >>>>> proves that it is correct. >>>> >>>> Nope, and x86n emulation is only fully correct if it continues to >>>> the final end. >>> >>> void Infinite_Loop() >>> { >>> HERE: goto HERE; >>> } >>> >>> Why do you say such ridiculously stupid things that you are are false? >>> >> >> Your Infinite_Loop does not apply. For a two cycle recursive simulation >> > > This says nothing about two cycles nitwit. > > _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] > > DDD is correctly emulated by HHH which calls an > emulated HHH(DDD) to repeat the process until aborted. > > And when aborted, DDD will then return, so HHH can not say that its input is non-halting. Only that HHH can not POOP DDD. (where POOPing is assuemed to be the horse shit subjective criteria that HHH can not emulate the input to its conclusion.)