Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Why do people here insist on denying these verified facts?
Date: Sat, 22 Jun 2024 20:07:59 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v57p0v$onl3$20@i2pn2.org>
References: <v56n8h$3pr25$1@dont-email.me> <v56ntj$onl3$7@i2pn2.org>
 <v56ps2$3q4ea$1@dont-email.me> <v56sk3$p1du$2@i2pn2.org>
 <v56tfv$3ql1v$2@dont-email.me> <v570n5$onl4$11@i2pn2.org>
 <v571lc$3rrgk$1@dont-email.me> <v57603$onl3$12@i2pn2.org>
 <v576cg$3soh6$2@dont-email.me> <v576nv$onl3$14@i2pn2.org>
 <v5775h$3soh6$5@dont-email.me> <v57837$onl3$15@i2pn2.org>
 <v5792v$3t97b$1@dont-email.me> <v57aj7$pnu7$1@i2pn2.org>
 <v57odt$5d7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 23 Jun 2024 00:07:59 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="810659"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v57odt$5d7$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2904
Lines: 44

On 6/22/24 7:57 PM, olcott wrote:
> On 6/22/2024 3:01 PM, joes wrote:
>> Am Sat, 22 Jun 2024 14:35:59 -0500 schrieb olcott:
>>> On 6/22/2024 2:19 PM, Richard Damon wrote:
>>>> On 6/22/24 3:03 PM, olcott wrote:
>>>>> On 6/22/2024 1:55 PM, Richard Damon wrote:
>>>>>> On 6/22/24 2:49 PM, olcott wrote:
>>>>>>> On 6/22/2024 1:43 PM, Richard Damon wrote:
>>>>>>>> On 6/22/24 1:29 PM, olcott wrote:
>>>>>>>>> On 6/22/2024 12:13 PM, Richard Damon wrote:
>>>>>>>>>> On 6/22/24 12:18 PM, olcott wrote:
>>
>>> The correct measure of the behavior of the actual input is DDD correctly
>>> simulated by H0 according to the definition of the semantics of the x86
>>> programming language.
>> The correct measure is the behaviour of DDD itself. Any old simulator can
>> do it, but H0 specifically can't.
>>
> 
> H0 has libx86emu embedded within it.
> Several decades of development effort went into that.

But does it use it right?

After all, part of your problem is that you try to change the quesiton, 
and the right answer to the wrong question can be the wrong answer for 
the right question.

Your inability to get the required trace out makes me think you aren't 
actually doing what you claim to be doing.
> 
>>> That you and others keep referring to the behavior of non-inputs is flat
>>> out stupid. That is not the way that actual computations actually work.
>> The input is just DDD.
>>
> 
> The input is the machine language of DDD that calls H0(DDD)
> in recursive emulation.
> 

No, it call H0(DDD) to decide on DDD.