Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: DD emulated by HHH cannot possibly terminate normally --- x86
 code
Date: Sun, 2 Mar 2025 08:00:49 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <5faa61e6dd09bcd158596cb11eb033eb2a92086e@i2pn2.org>
References: <vptlfu$3st19$9@dont-email.me>
	<d128909f1359b48293dd1823d22d671435d5640c@i2pn2.org>
	<vpv6ad$8sdm$1@dont-email.me>
	<5c444106eafa1235cc4953d9be6faddf8825bcf3@i2pn2.org>
	<vpvlim$bjn9$2@dont-email.me>
	<1fa130b5ec11e0472fad3aca4cfef9bcb9741652@i2pn2.org>
	<vq06vt$eljf$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 2 Mar 2025 08:00:49 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2459433"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2868
Lines: 37

Am Sat, 01 Mar 2025 17:58:52 -0600 schrieb olcott:
> On 3/1/2025 3:58 PM, Richard Damon wrote:
>> On 3/1/25 2:01 PM, olcott wrote:
>>> On 3/1/2025 10:05 AM, Richard Damon wrote:
>>>> On 3/1/25 9:41 AM, olcott wrote:
>>>>> On 3/1/2025 6:49 AM, Richard Damon wrote:
>>>>>> On 2/28/25 7:47 PM, olcott wrote:

>>>>>>> When we hypothesize that the code at machine address 0000213c is
>>>>>>> an x86 emulator then we know that DD remains stuck in recursive
>>>>>>> emulation and cannot possibly reach its own "ret" instruction and
>>>>>>> terminate normally.
>>>>>>> When we add the additional complexity that HHH also aborts this
>>>>>>> sequence at some point then every level of recursive emulation
>>>>>>> immediately stops. This does not enable any DD to ever reach its
>>>>>>> "ret" instruction.
>>>>>>>
>>>>>> But then you just negated your first assumption, as a partial
>>>>>> emulator that aborts its emulation, then DD no longer gets stuck.
>>>>>>
>>>>> Cannot possibly reach its own "ret" instruction and terminate
>>>>> normally proves non-termination whether aborted or not.
>>>>
>>>> But it DOES terminate
>>>
>>> DD emulated by HHH never terminates no matter how many times you try
>>> to get away with the straw-man deception of referring to anything at
>>> all besides DD EMULATED BY HHH
>>>
>> Which since HHH doesn't correctly emulate DD is just a fantasy.
>> 
> If it was actually incorrect then someone could show how the above code
> is correctly emulated by HHH.
You are asking for the impossible. HHH cannot simulate itself.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.