Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the
 execution trace
Date: Thu, 1 Aug 2024 15:46:02 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <3e91ca7ef46d6de40edf2bbd9d4761ba63578e09@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 1 Aug 2024 15:46:02 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1112861"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2467
Lines: 24

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.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.