Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Mon, 14 Apr 2025 19:54:46 -0400
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <vtk785$2csgt$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <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> <vsdkq5$3rdgv$1@dont-email.me>
 <vselj9$th5g$1@dont-email.me> <vsg0tj$2e09c$1@dont-email.me>
 <vsht0a$90ss$4@dont-email.me> <vsiurv$1estf$1@dont-email.me>
 <vskqim$378kj$7@dont-email.me> <vsla1h$1kf$1@dont-email.me>
 <vsn08o$1ltd2$5@dont-email.me>
 <b748de0dbba6d397f790f7112fbaf891a9550e30@i2pn2.org>
 <vth4pr$3in23$7@dont-email.me>
 <ee7f2cd7fb674e3a212e7f98514a82aee3a1141b@i2pn2.org>
 <vtk70r$2d98m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 15 Apr 2025 01:54:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7a693fffeb8cb3d93ca8829962a38503";
	logging-data="2519581"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19j7vN3f0uwq5vhEvKwPkfu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fvJrPfnKaLh3ffcQClVk8I+q/0Q=
In-Reply-To: <vtk70r$2d98m$1@dont-email.me>
Content-Language: en-US

On 4/14/2025 7:50 PM, olcott wrote:
> On 4/14/2025 4:32 AM, joes wrote:
>> Am Sun, 13 Apr 2025 14:54:35 -0500 schrieb olcott:
>>> On 4/13/2025 9:46 AM, joes wrote:
>>>> Am Thu, 03 Apr 2025 16:57:43 -0500 schrieb olcott:
>>>>> On 4/3/2025 1:32 AM, Mikko wrote:
>>>>>> On 2025-04-03 02:08:22 +0000, olcott said:
>>>>>>>>>>> It is a truism that a correct x86 emulator would emulate itself
>>>>>>>>>>> emulating DDD whenever DDD calls this emulator with itself.
>>>>>>
>>>>>> Which does not agree or disagree with my comment nor say anything
>>>>>> about it,
>>>>>> and it doesn't clarify any aspect of your statement that i commented.
>>>>>> If there is any indirect connection to anything relevant that
>>>>>> connection is not presented, leaving your response unconnected and
>>>>>> therefore irrelevant.
>>>>>> So you did not reply to the immediated context.
>>>>>>
>>>>> THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS NOT RELEVANT TO A
>>>>> CORRECT DECISION BY A HALT DECIDER?
>>>> Yes.
>> To clarify: that *HHH* does not simulate DDD halting has no bearing on
>> its direct execution.
>>
> 
> THE DIRECT EXECUTION IS NOT WHAT IT SEES 

Irrelevant.  That's what it's required to report on to meet the 
requirements of being a halt decider / termination analyzer.

> THUS
> FORBIDDING IT FROM REPORTING ON THE DIRECT EXECUTION.

Category error.  Algorithms aren't "forbidden" from reporting anything. 
They just compute exactly what they're programmed to compute.


> 
>>> THE ONLY RELEVANT THING IS THE PATHOLOGICAL SELF-REFERENCE BEHAVIOR THAT
>>> THE INPUT FINITE STRING SPECIFIES.
>> DDD does not „specify” self-reference; simulating with HHH does.
>>
> 
>