Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Why do people here insist on denying these verified facts?
Date: Sat, 22 Jun 2024 18:57:49 -0500
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <v57odt$5d7$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 23 Jun 2024 01:57:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f19a017657c3e3f4d15756f16e311b4d";
	logging-data="5543"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/8oBezVTguw+wEvgLbaP9Q"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:PHHXiBnPF6QReL36aZsLwT+SqO4=
In-Reply-To: <v57aj7$pnu7$1@i2pn2.org>
Content-Language: en-US
Bytes: 2668

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.

>> 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.

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