Deutsch English Français Italiano |
<v8gbe4$288f9$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: This function proves that only the outermost HHH examines the execution trace Date: Thu, 1 Aug 2024 11:00:04 -0500 Organization: A noiseless patient Spider Lines: 36 Message-ID: <v8gbe4$288f9$1@dont-email.me> References: <v80h07$2su8m$3@dont-email.me> <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk> <v8102f$2vo8u$1@dont-email.me> <v83fhe$3gihn$1@dont-email.me> <v83hmk$3gvj7$1@dont-email.me> <v83jc9$3gihm$1@dont-email.me> <v83juc$3ham9$1@dont-email.me> <v8519e$3s7bv$1@dont-email.me> <v88h9e$i7kl$7@dont-email.me> <v8a31r$u7n5$1@dont-email.me> <v8btl5$184u7$3@dont-email.me> <v8cval$1hf7s$1@dont-email.me> <v8dshi$1mg72$4@dont-email.me> <v8fes7$22of5$1@dont-email.me> <v8fti6$24rl1$8@dont-email.me> <v8g0el$24u77$1@dont-email.me> <v8g0lr$25l0a$8@dont-email.me> <3e91ca7ef46d6de40edf2bbd9d4761ba63578e09@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 01 Aug 2024 18:00:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="3121e7e48560b53e45601f59b50fa691"; logging-data="2367977"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18UUoXbMTz4gbK3UYbUuIaZ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:iglBAkea6tkhXN129NF7Xz1Ot1A= In-Reply-To: <3e91ca7ef46d6de40edf2bbd9d4761ba63578e09@i2pn2.org> Content-Language: en-US Bytes: 3033 On 8/1/2024 10:46 AM, joes wrote: > Am Thu, 01 Aug 2024 07:56:27 -0500 schrieb olcott: >> On 8/1/2024 7:52 AM, Fred. Zwarts wrote: >>> Op 01.aug.2024 om 14:03 schreef olcott: >>>> On 8/1/2024 2:52 AM, Mikko wrote: >>>>> On 2024-07-31 17:33:38 +0000, olcott said: >>>>>> On 7/31/2024 4:15 AM, Mikko wrote: >>>>>>> On 2024-07-30 23:40:21 +0000, olcott said: >>>>>>>> On 7/30/2024 2:00 AM, Mikko wrote: >>>>>>>>> On 2024-07-29 16:50:53 +0000, olcott said: >>>>>>>>>> On 7/28/2024 3:59 AM, Mikko wrote: >>>>>>>>>>> On 2024-07-27 20:05:31 +0000, olcott said: > >>>> When instructions are executed/emulated according to the semantics of >>>> the x86 language then they are executed/emulated correctly. >>>> >>> But only those instructions. A halting program is simulated correctly >>> if no instructions are skipped. >> >> Correctly and completely are not the same damn thing you >> freaking moron. > Yes, an incomplete simulation is also incorrect. > When N steps of DDD are emulated correctly one can only say that N steps were not emulated correctly when one is a liar. When a correct and complete emulation is impossible because the computation has no end then it is pretty damn stupid to insist an a complete emulation. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer