Path: ...!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: Mon, 9 Sep 2024 13:55:50 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <vbngbm$2gv88$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>
 <vbhl0e$1c7u5$6@dont-email.me>
 <4478821a37cfd3f24201caee13e8eb0abfe09c9c@i2pn2.org>
 <vbhpeq$1djl5$1@dont-email.me> <vbjst0$1sml7$1@dont-email.me>
 <vbkbju$1uqfp$1@dont-email.me> <vbml5m$2ce7j$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 09 Sep 2024 20:55:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ce886c54a33fbb99da3cdb312c5f423c";
	logging-data="2653448"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19p55k+vwVTCFO5MN5StoQ7"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yzLW7o0xO2qflLf1/WvUrGkvEiw=
In-Reply-To: <vbml5m$2ce7j$2@dont-email.me>
Content-Language: en-US
Bytes: 4199

On 9/9/2024 6:11 AM, Fred. Zwarts wrote:
> Op 08.sep.2024 om 16:16 schreef olcott:
>> On 9/8/2024 5:05 AM, Fred. Zwarts wrote:
>>> Op 07.sep.2024 om 16:54 schreef olcott:
>>>> On 9/7/2024 9:46 AM, joes wrote:
>>>>> Am Sat, 07 Sep 2024 08:38:22 -0500 schrieb olcott:
>>>>>> 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:
>>>>>
>>>>>>>>>> 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?
>>>>>> When HHH is waiting for the next HHH which is waiting for the next 
>>>>>> HHH
>>>>>> which is waiting for the next HHH...
>>>>>> we have an infinite chain of waiting and never aborting.
>>>>> Except for the outermost one.
>>>>>
>>>>
>>>> When the outermost HHH is waiting for its emulated HHH
>>>> to abort and this emulated HHH is waiting on its emulated
>>>> HHH to abort on and on forever waiting and none ever abort.
>>>>
>>>
>>> Dreaming again of a HHH that does not abort.
>>
>> In other words you have no idea what a hypothesis is?
> 
> I do, but olcott thinks a dream is sufficient to prove a hypothesis.
> 
>>
>> The outermost HHH can either abort it emulation of DDD
>> or not and either way DDD cannot possibly reach its final
>> halt state of its "return" instruction and halt.
> 
> Exactly, so either way the simulation fails to reach the end.
> HHH cannot possibly simulate itself correctly up to the end.

Thus must be aborted and is necessarily correct to report non-halting.


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