Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Tue, 22 Apr 2025 18:58:08 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <17c9dadf8034677b8b8285d334456fad3c7816b8@i2pn2.org>
References: <vrfuob$256og$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>
 <7d3fb4c3b3ef4773a1e411e3f44d9251581ac403@i2pn2.org>
 <vu87rj$nqg7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 22 Apr 2025 22:58:32 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1465116"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vu87rj$nqg7$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 4/22/25 10:07 AM, olcott wrote:
> On 4/22/2025 7:40 AM, joes wrote:
>> Am Mon, 14 Apr 2025 18:50:52 -0500 schrieb olcott:
>>> 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 THUS FORBIDDING IT FROM
>>> REPORTING ON THE DIRECT EXECUTION.
>> It sure ought to see the same thing the directly executing processor 
>> does.
>>
> 
> HHH cannot possibly see what HHH1.
> 

But it isn't a matter of what HHH "sees", it is what the correct answer is.

If HHH can't figure that out, it just makes HHH wrong.

You don't seem to understand that simple fact of truth.