Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: This function proves that only the outermost HHH examines the
 execution trace
Date: Thu, 1 Aug 2024 21:26:51 +0200
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <v8gnhs$2bb0i$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>
 <v8gbe4$288f9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 01 Aug 2024 21:26:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8c0ac17c3f9e00decd2248743b2f1a16";
	logging-data="2468882"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18yPpDFPOOpbiuxTkhDp7y1"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9rJav+x3bjt5ej2H9GmimH/SNbY=
In-Reply-To: <v8gbe4$288f9$1@dont-email.me>
Content-Language: en-GB
Bytes: 3498

Op 01.aug.2024 om 18:00 schreef olcott:
> 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.

Nobody claims it. It is just your dream.
When the last M steps of a halting DDD are skipped, one can only say 
that it is a correct simulation when one is a liar.
This is the reality.

> 
> 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.
> 

Nobody claims it. It is just your dream.
When a correct and complete simulation of HHH by itself is not possible 
even when HHH halts, then it is pretty stupid to insist that a correct 
simulation of halting program shows that it does not halt.
That is the reality.

Dreams are no substitute for fact, not for logic.