Path: ...!weretis.net!feeder8.news.weretis.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: Defining a correct simulating halt decider
Date: Thu, 5 Sep 2024 13:10:13 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <vbcs65$egrs$1@dont-email.me>
References: <vb4plc$2tqeg$1@dont-email.me> <vb6o5t$3a95s$1@dont-email.me>
 <vb71a3$3b4ub$4@dont-email.me> <vbbmuc$8nbb$1@dont-email.me>
 <vbcbe4$bdtb$3@dont-email.me>
 <cb6a625f1737dafed130e2bdad14395d95566ba1@i2pn2.org>
 <vbcl61$d8p0$1@dont-email.me>
 <e097e72a4319eb72e8663d055aa54d69af610831@i2pn2.org>
 <vbcnjk$dr54$1@dont-email.me>
 <5d7b0659450f58aec28d4f49b1b59982cedfc694@i2pn2.org>
 <vbcp2d$e330$1@dont-email.me>
 <70a0b7e4bd0a0129649d8e77cdc36339bd74d6a5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Sep 2024 20:10:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="43b31a63184850aec0f50fc55161dc88";
	logging-data="476028"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/VLF3owrh1k3ghSNhlqNVg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2NXMWxujvXDBvZfDuX4q9f4Trgs=
In-Reply-To: <70a0b7e4bd0a0129649d8e77cdc36339bd74d6a5@i2pn2.org>
Content-Language: en-US
Bytes: 3158

On 9/5/2024 12:22 PM, joes wrote:
> Am Thu, 05 Sep 2024 12:17:01 -0500 schrieb olcott:
>> On 9/5/2024 11:56 AM, joes wrote:
>>> Am Thu, 05 Sep 2024 11:52:04 -0500 schrieb olcott:
>>>> On 9/5/2024 11:34 AM, joes wrote:
>>>>> Am Thu, 05 Sep 2024 11:10:40 -0500 schrieb olcott:
>>>>>> On 9/5/2024 10:57 AM, joes wrote:
>>>>>>> Am Thu, 05 Sep 2024 08:24:20 -0500 schrieb olcott:
>>>>>>>> On 9/5/2024 2:34 AM, Mikko wrote:
>>>>>>>>> On 2024-09-03 13:00:50 +0000, olcott said:
>>>>>>>>>> On 9/3/2024 5:25 AM, Mikko wrote:
>>>>>>>>>>> On 2024-09-02 16:38:03 +0000, olcott said:
>>>>>
>>>>>>>> Show the details of how DDD emulated by HHH reaches its own
>>>>>>>> machine address 0000217f.
>>>>>>> By HHH returning, which we are guaranteed from its definition as a
>>>>>>> decider.
>>>>>> How the F--- Does the emulated HHH return?
>>>>> I don’t know, you claim it’s a decider!
> 
>>>> DDD emulated by HHH CANNOT POSSIBLY reach its own machine address
>>>> 0000217f.
>>> Only HHH can’t simulate it.
>>>
>>>> The directly executed HHH correctly determines that its emulated DDD
>>>> must be aborted because DDD keeps *THE EMULATED HHH* stuck in
>>>> recursive emulation.
>>> Why doesn’t the simulated HHH abort?
>> The first HHH cannot wait for its HHH to abort which is waiting for its
>> HHH to abort on and on with no HHH ever aborting.

> But why does HHH halt and return that itself doesn’t halt?
> 

First agree that you understand the first part so that we
don't endlessly digress away from the point.

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