Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH cannot possibly halt
Date: Wed, 10 Jul 2024 20:21:06 -0500
Organization: A noiseless patient Spider
Lines: 87
Message-ID: <v6nc22$2501i$1@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me> <v6ikv5$19h6q$1@dont-email.me>
 <v6jguf$1ctoi$5@dont-email.me> <v6ji1d$1dpoc$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 03:21:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cb7a71f238b6f1f0fff1b8b0208457d0";
	logging-data="2261042"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Gcu0aiOGbYKQmbNv8/rgV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dmQAGJgoDijadAYg2RMHzZwfzCA=
In-Reply-To: <744d42e4d9d67b49cb1844a2651cb0c350760f0c@i2pn2.org>
Content-Language: en-US
Bytes: 4842

On 7/10/2024 8:11 PM, Richard Damon wrote:
> On 7/10/24 9:01 PM, olcott wrote:
>> On 7/10/2024 7:37 PM, Richard Damon wrote:
>>> On 7/10/24 8:24 PM, olcott wrote:
>>>> On 7/10/2024 7:01 PM, Richard Damon wrote:
>>>>> On 7/10/24 9:41 AM, olcott wrote:
>>>>>> On 7/10/2024 8:27 AM, joes wrote:
>>>>>>> Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
>>>>>>>> On 7/9/2024 11:01 PM, joes wrote:
>>>>>>>>   > That means that HHH doesn't return, in particular that it 
>>>>>>>> doesn't
>>>>>>>>   > abort.
>>>>>>>> DDD correctly emulated by any pure function HHH that correctly 
>>>>>>>> emulates
>>>>>>>> 1 to ∞ steps of DDD can't make it past the above line of code no 
>>>>>>>> matter
>>>>>>>> what.
>>>>>>> That line being the call to itself -> it can't simulate itself.
>>>>>>>
>>>>>>>> *DDD NEVER HALTS*
>>>>>>> DDD ONLY calls HHH...
>>>>>>>
>>>>>>
>>>>>> void DDD()
>>>>>> {
>>>>>>    HHH(DDD);
>>>>>>    return;
>>>>>> }
>>>>>>
>>>>>> DDD correctly emulated by any pure function HHH that
>>>>>> correctly emulates 1 to ∞ lines of DDD can't make it
>>>>>> to the second line of DDD no matter what.
>>>>>>
>>>>>>
>>>>>
>>>>> Nope, DDD does if HHH(DDD) returns.
>>>>>
>>>>
>>>> You have a dead cat in your driveway does not mean that
>>>> you have a peanut butter sandwich on your front porch.
>>>> It has taken you at least 1000 messages to see that.
>>>>
>>>> DDD correctly emulated by any pure function HHH that
>>>> correctly emulates 1 to ∞ lines of DDD can't make it
>>>> to the second line of DDD no matter what.
>>>
>>> WRONG, you don't seem to understand the difference between DDD and 
>>> HHH's emualtion of it.
>>>
>>>
>>
>> Would you bet your immortal soul that DDD simulated
>> by HHH (as provided above) would terminate normally?
>>
> 
> That is a ambiguous statement, showing your attempt at deciet.
> 

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]

Will you bet your immortal soul that any of the above
DDD of DDD/HHH pairs reach their own machine address
of 00002174 and halt?

Claiming ambiguity without specifically pointing this
out will be construed as deception thus swearing your
allegiance to the father of lies.

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