Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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 09:26:08 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <v8lem0$3ftpo$2@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kou4$3b2ta$1@dont-email.me>
 <v8lcir$3f6vr$4@dont-email.me> <v8ldcs$3fcgg$2@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:26:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6697133516c971b81fd53169bb6a94ea";
	logging-data="3667768"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/AaK7T8l67cpMKXmYxxmah"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SoEw5ZRqv9qn2IPTDsGK2cp4G/4=
Content-Language: en-US
In-Reply-To: <v8ldcs$3fcgg$2@dont-email.me>
Bytes: 2561

On 8/3/2024 9:04 AM, Fred. Zwarts wrote:
> 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,

HHH(DDD) simulates DDD that calls HHH(DDD) to repeat the process.

If it does this an infinite number of times the simulated DDD
never reaches its own return instruction.

If it does this a googolplex number of times the simulated DDD
never reaches its own return instruction.

If the simulation is ever aborted the simulated DDD never reaches
its own return instruction.

When we construe the halt state of DDD as its "return"
instruction then the simulated DD never halts.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer