| Deutsch English Français Italiano |
|
<v8kop5$3c2g8$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news.in-chemnitz.de!news.swapon.de!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Peter Olcott seems to consistently lie about this --- Date: Sat, 3 Aug 2024 11:12:21 +0300 Organization: - Lines: 62 Message-ID: <v8kop5$3c2g8$1@dont-email.me> References: <v8hf52$2jl7d$1@dont-email.me> <KNqcndx8Sacd3TH7nZ2dnZfqlJ-dnZ2d@giganews.com> <8c7fcb21223d5d1b19e03d484024b02eab5aaadf@i2pn2.org> <v8higj$2kegl$1@dont-email.me> <0f117b9c47b8aaeb92b45f28fbe7a4f56eae8b81@i2pn2.org> <v8hkao$2koul$1@dont-email.me> <d3922d7b6b010d72c8987d231f1e57f7a0ac78af@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 03 Aug 2024 10:12:22 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b1a0dbf49226a9afe8ac0f2cff9b34f2"; logging-data="3541512"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18zGSf4GctHvn7qphnrvc9p" User-Agent: Unison/2.2 Cancel-Lock: sha1:1c2X/colGYEn4CVL8aCuxqFByko= Bytes: 3758 On 2024-08-02 14:42:03 +0000, Richard Damon said: > On 8/1/24 11:38 PM, olcott wrote: >> On 8/1/2024 10:16 PM, Richard Damon wrote: >>> On 8/1/24 11:06 PM, olcott wrote: >>>> On 8/1/2024 9:33 PM, Richard Damon wrote: >>>>> On 8/1/24 10:12 PM, olcott wrote: >>>>>> *This algorithm is used by all the simulating termination analyzers* >>>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>>> If simulating halt decider H correctly simulates its input D >>>>>> until H correctly determines that its simulated D would never >>>>>> stop running unless aborted then >>>>>> >>>>>> H can abort its simulation of D and correctly report that D >>>>>> specifies a non-halting sequence of configurations. >>>>>> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>> >>>>> But only for th right definition of "Correctly Simulated" which means >>>>> of the exact input without aborting. >>>>> >>>>>> >>>>>> DDD is correctly emulated by HHH according to the x86 >>>>>> language semantics of DDD and HHH including when DDD >>>>>> emulates itself emulating DDD >>>>> >>>>> Nope. >>>>> >>>>> Call HHH needs to be followed in the trace by the instructions of HHH >>>>> >>>>> And you "full Trace" printouts are NOT the trace that HHH Makes, but >>>>> are traces OF HHH doing its decision. >>>>> >>>> >>>> The bottom line has always been (for three years now) that the >>>> fact that the next lines of DDD, (and DD) have always been the >>>> next lines that a correct x86 emulator would correctly emulate >>>> proves that HHH (and HH) did emulate these lines correctly >>>> *EVEN IF IT DID THIS BY WILD GUESS* >>>> >>>> Because of this all of the calls for a full execution trace >>>> have never been more than sadistic trollish head games. >>>> >>> >>> Nope, you just don't understand what the x86 processor actually does. >>> >> >> I was the #1 student out of 45 students of my operating >> system internals class beating out three instructors of >> other classes. I still have this same degree of skill. >> x86utm <is> a multi-tasking operating system. > > Then why are you so dumb now? Perhaps because our current topic is very far from internals of operating systems. As Socreates already noted, many people who have aquired a good knowledge of something (typically their profession) believe they have good knoledge of everything else, too, but usually haven't. -- Mikko