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: Wed, 23 Apr 2025 07:35:27 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f782448ce65114f1e15710196e7b59c819b07a92@i2pn2.org>
References: <vrfuob$256og$1@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>
 <17c9dadf8034677b8b8285d334456fad3c7816b8@i2pn2.org>
 <vu9n5c$25gna$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 23 Apr 2025 11:36:26 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1534108"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vu9n5c$25gna$1@dont-email.me>

On 4/22/25 11:35 PM, olcott wrote:
> On 4/22/2025 5:58 PM, Richard Damon wrote:
>> 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.
>>
> 
> It never has been about a correct answer.

I guess that shows us what you think about logic and rules.


> It has always been about what finite string
> transformations can be applied to finite
> string inputs to derive corresponding outputs.
> If one of them is a correct answer great.
> 

So, TRUTH doesn't matter to you, by your own admission.

So, you ADMIT that you HHH isn't a CORRECT Halt decide, just somethint 
that claims to be it.

And thus a program sum that returns 10 for sum(2, 3) can still claim to 
be a summing program it is did some sort of manipulations to get the result

You just admitted that you are nothing but the worlds biggest liar, and 
proud of it.

> 
> 
>> If HHH can't figure that out, it just makes HHH wrong.
>>
>> You don't seem to understand that simple fact of truth.
> 
>