Path: ...!feeds.phibee-telecom.net!news.mixmin.net!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: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Date: Sat, 3 Aug 2024 16:04:11 +0200
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <v8ldcs$3fcgg$2@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kou4$3b2ta$1@dont-email.me>
 <v8lcir$3f6vr$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 03 Aug 2024 16:04:13 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="45067dff138b3e0af47afbb2b33f3950";
	logging-data="3650064"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18KXATwFmcHDbrzaRoCY0se"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pnT9mY8Lb7QamDwB6UWw9QL5vP8=
In-Reply-To: <v8lcir$3f6vr$4@dont-email.me>
Content-Language: en-GB
Bytes: 2296

Op 03.aug.2024 om 15:50 schreef olcott:
> On 8/3/2024 3:14 AM, Fred. Zwarts wrote:
>> Op 02.aug.2024 om 22:57 schreef olcott:
>>> Who here is too stupid to know that DDD correctly simulated
>>> by HHH cannot possibly reach its own return instruction?
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>
>> Which proves that the simulation is incorrect.
> 
> When are you going to understand that you are not allowed
> to disagree with the semantics of the x86 language?
> 
> 

I do not disagree.
When are you going to understand that it is a deviation of the semantics 
of the x86 language to skip instructions of a halting program, only 
because you are dreaming of a non-halting HHH?
DDD is a misleading and unneeded complication. It is easy to eliminate DDD:

        int main() {
          return HHH(main);
        }

This has the same problem. This proves that the problem is not in DDD, 
but in HHH, which halts when it aborts the simulation, but it decides 
that the simulation of itself does not halt.
It shows that HHH cannot possibly simulate itself correctly.