Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.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: DDD correctly emulated by HHH cannot possibly halt
Date: Fri, 12 Jul 2024 07:28:56 -0500
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <v6r7i8$30qtt$2@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6jig0$1ctoi$11@dont-email.me>
 <v6jkib$1e3jq$1@dont-email.me> <v6jpe5$1eul0$1@dont-email.me>
 <v6jpqo$1e3jq$2@dont-email.me> <v6jqfg$1eul0$2@dont-email.me>
 <v6k6md$1h3a7$1@dont-email.me> <v6k9ef$1hicb$1@dont-email.me>
 <04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org>
 <v6l24d$1oqjv$1@dont-email.me>
 <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
 <v6m331$1tj30$7@dont-email.me>
 <6d43f24547a3b170ce6f7a99e30ec60dec589f79@i2pn2.org>
 <v6n8ob$24dmg$3@dont-email.me>
 <7f9b731b2367a2bcf2883278ee5265d30a8f82d6@i2pn2.org>
 <v6nau1$24jgn$2@dont-email.me>
 <744d42e4d9d67b49cb1844a2651cb0c350760f0c@i2pn2.org>
 <v6nc22$2501i$1@dont-email.me>
 <c784fa694b9d68f5ace1d07c9870050681268fdc@i2pn2.org>
 <v6ori5$2fuva$10@dont-email.me>
 <56314b3bac257d0fc228c26f3c8c5eec40a87215@i2pn2.org>
 <v6q4cj$2r7qt$1@dont-email.me>
 <1fbe0efc5b030be11df07a930754d90ce56525be@i2pn2.org>
 <v6q7vo$2rvqi$1@dont-email.me>
 <03ba90ee0fbe42d2596ab18d6a5ca17ecdf1e921@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 14:28:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a53340e46817c86b736359d5ee28d54a";
	logging-data="3173309"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1++C6+NmrT/kRTORdBvRf4Y"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SDal9EAam7mB5H5b1crQxOEYpZ0=
Content-Language: en-US
In-Reply-To: <03ba90ee0fbe42d2596ab18d6a5ca17ecdf1e921@i2pn2.org>
Bytes: 4400

On 7/12/2024 6:15 AM, Richard Damon wrote:
> On 7/11/24 11:30 PM, olcott wrote:
>> On 7/11/2024 10:18 PM, Richard Damon wrote:
>>> On 7/11/24 10:28 PM, olcott wrote:

We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated
by each pure function x86 emulator HHH (of the infinite
set of every HHH that can possibly exist) then DDD cannot
possibly reach its own machine address of 00002174 and halt.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

>>>>
>>>> When 1,2,3... ∞ steps of DDD are correctly emulated by
>>>> HHH it is a lie to say that this many instructions were
>>>> not correctly emulated and you know it.
>>>>
>>>
>>> But only N instructions "correctly emulated" is NOT a CORRECT 
>>> emulaition of the instructions of DDD/HHH
>>>
>>
>> I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>> I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>> I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>> I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>> I didn't limit it to N. Is this your ADD? I say 1 to infinity steps !!!
>>
> 
> So, I guess NONE of them ever stop before reaching 
> the end, if none of them stop before that.
> 

1,2,3... ∞ steps of DDD are correctly emulated is every
HHH/DDD pair that can possibly exist when HHH is a pure
function x86 emulator.

No more dishonest shell game ruse
https://jorynjenkins.com/hiding-the-pea/
That wastes weeks and weeks talking in circles.

For each element of this infinite set of HHH/DDD pairs
DDD never halts. For every finite N number of emulated
steps HHH halts.

This means that every HHH of this set that aborts its
emulation of DDD is correct to reject its DDD as non
halting.

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