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: Who here is too stupid to know that DDD simulated by HHH cannot reach its own return? (typos fixed)
Date: Thu, 8 Aug 2024 10:53:52 +0300
Organization: -
Lines: 44
Message-ID: <v91tig$3r1c9$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me> <v8ld1f$3f6vr$5@dont-email.me> <v8ldl0$3ennf$1@dont-email.me> <v8lfb9$3g2jl$1@dont-email.me> <v8lgsr$3gadt$2@dont-email.me> <v8lhrr$3gkbk$1@dont-email.me> <v8n6un$3tv08$1@dont-email.me> <v8nums$1n09$6@dont-email.me> <v8pvsv$iius$1@dont-email.me> <c-WdnSrh_5ZhdS37nZ2dnZfqlJydnZ2d@giganews.com> <v8v7aq$29nlc$1@dont-email.me> <v8vtgf$32fso$12@dont-email.me> <f5c189757b7cec5869896bcdc4a1847208ad016f@i2pn2.org> <v90gbt$39as4$1@dont-email.me> <v90mm7$3bj21$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 08 Aug 2024 09:53:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7ca8cc5ca66551310006596dadbb32e6";
	logging-data="4031881"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX196mT+VYnD8eIDb2rk0bXiS"
User-Agent: Unison/2.2
Cancel-Lock: sha1:svtGz+GSwT9kSj3zy8JRC34Z924=
Bytes: 3193

On 2024-08-07 20:50:15 +0000, olcott said:

> On 8/7/2024 2:02 PM, olcott wrote:
>> On 8/7/2024 1:25 PM, joes wrote:
>>> Am Wed, 07 Aug 2024 08:40:31 -0500 schrieb olcott:
>>>> On 8/7/2024 2:22 AM, Mikko wrote:
>>>>> On 2024-08-05 15:00:12 +0000, olcott said:
>>>>>> On 8/5/2024 2:44 AM, Mikko wrote:
>>>>>>> On 2024-08-04 13:11:56 +0000, olcott said:
>>>>>>>> On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
>>>>>>>>> Op 03.aug.2024 om 17:20 schreef olcott:>>
>>> 
>>>>>>> In another message you have said that when HHH simulates itself
>>>>>>> simulating DDD is does not simulate itself simulating itself
>>>>>>> simulating DDD. You have not told whether it makes a cup of coffee.
>>>>>>> Neither action can be seen in the traces you have shown.
>>>>>>> 
>>>>>> HHH and HH and the original H have proved that they simulate
>>>>>> themselves simulating DDD, DD and P for three years now.
>>>>> 
>>>>> Your trace don't show siulation of exectuion differently from
>>>>> simulation of simulation of execution.
>>>>> 
>>>> It does but it is too difficult to dig it out of emulations of emulators
>>>> emulating inputs.
>>> You could make it clearer by prefixing the simulation level.
>>> 
>> 
>> Maybe I can do this. it requires a static local, yet this
>> is only for reporting purposes and does not have an effect
>> on the computation.
>> 
> 
> None of this was ever really required. We have complete
> proof that the second HHH does emulate its DDD correctly
> by simply comparing the execution trace that it produces
> to the x86 source code of DDD.

You may have the complete knowledge for the proof but you have never
shown the proof.

-- 
Mikko