Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott 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: References: <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk> <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