Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Wed, 2 Apr 2025 20:24:41 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <vsko0p$378kj$3@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vs76m9$3m3q0$1@dont-email.me>
 <vs77th$2p360$11@dont-email.me> <vs78cu$3ms9k$1@dont-email.me>
 <c2b91231b9052e07b6705250938fb9095e711327@i2pn2.org>
 <vs7kvf$3eal$2@dont-email.me>
 <aeb75b411e9f77c974585181c671a47d03b22078@i2pn2.org>
 <vs7qdm$8dae$2@dont-email.me> <vs7r9b$8ajp$1@dont-email.me>
 <vs92l3$1fccq$5@dont-email.me> <vs93ae$1k9u2$1@dont-email.me>
 <vs9g5p$1v2n9$5@dont-email.me> <vs9gcg$20g2j$3@dont-email.me>
 <vs9h9o$23cav$2@dont-email.me> <vs9hh3$20g2j$6@dont-email.me>
 <vs9jie$23cav$4@dont-email.me> <vs9kb1$26cg5$2@dont-email.me>
 <vs9pni$27rl4$9@dont-email.me>
 <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org>
 <vsc2fd$1vihj$2@dont-email.me>
 <e1da7d564873d36f88e119fbbbdafd8c6b0f675e@i2pn2.org>
 <vsc9o7$2bk3d$2@dont-email.me> <vsdjis$3o5ff$2@dont-email.me>
 <vselvf$th5g$2@dont-email.me>
 <b73ee5d80df9b180d6345bb08b6b5454947601cb@i2pn2.org>
 <vsf3tq$1crun$3@dont-email.me>
 <707bca57b63b6c88cc64dbaac740c678d1503048@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 03 Apr 2025 03:24:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3670ccff229fdc0c136848dacf82765a";
	logging-data="3383955"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18qyDrE4EoYqtKNh3c4KGGV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:LOGy8brgDlgVEFGRmRrpOlphYh4=
X-Antivirus: Norton (VPS 250402-4, 4/2/2025), Outbound message
In-Reply-To: <707bca57b63b6c88cc64dbaac740c678d1503048@i2pn2.org>
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 3407

On 4/2/2025 9:11 AM, joes wrote:
> Am Mon, 31 Mar 2025 17:11:05 -0500 schrieb olcott:
>> On 3/31/2025 3:33 PM, joes wrote:
>>> Am Mon, 31 Mar 2025 13:13:04 -0500 schrieb olcott:
>>>> On 3/31/2025 3:26 AM, Fred. Zwarts wrote:
>>>
>>>>> But we all agree that HHH fails to reach the end of the simulation of
>>>>> this finite recursion. An end that exists as proven by direct
>>>>> execution and world class simulators. Why repeating this agreement as
>>>>> if someone denies it?
>>>> Because DDD calls HHH(DDD) in recursive emulation DDD EMULATED BY HHH
>>>> CANNOT POSSIIBLY HALT.
>>> That is the failure.
>> Non-halting is always construed as the failure of the input.

> What the fuck. A halt *decider* is supposed to halt, even on non-halting
> inputs.
> 

HHH(DDD) has halted since its original version H(P)
several years ago. DDD emulated by HHH could not
possibly halt since its original version P emulated
by H several years ago.

On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > ... PO really /has/ an H (it's
 > trivial to do for this one case) that
 > correctly determines that P(P)
 > *would* never stop running *unless* aborted.


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