Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: III correctly emulated by EEE ---
Date: Wed, 26 Mar 2025 09:49:39 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <7ef3642601d8b6c8e6bab3494f4a9a046677a978@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <vrkumg$2l2ci$2@dont-email.me>
	<ba957e964c1090cbb801b1688b951ac095281737@i2pn2.org>
	<vrmepa$2r2l$1@dont-email.me>
	<d8ee6d675850304b99af1b587437ba0ac64dbb85@i2pn2.org>
	<vrms64$cvat$2@dont-email.me>
	<76e394abe71be9cdc7f1948e73352c4f76ae409e@i2pn2.org>
	<vrmua7$cvat$8@dont-email.me>
	<dc633a07cd15e2c80ed98083cc5f9d218edcc9da@i2pn2.org>
	<vro0hk$1c9ia$1@dont-email.me>
	<9adf9b9c30250aaa2d3142509036c892db2b7096@i2pn2.org>
	<vrpfua$2qbhf$2@dont-email.me>
	<211f9a2a284cb2deaa666f424c1ef826fe855e80@i2pn2.org>
	<vrq330$3dq3n$1@dont-email.me>
	<e7268e8ef47579cacb49b0533d51549a77eb0b96@i2pn2.org>
	<vrqb6f$3k9kh$2@dont-email.me>
	<3f250e699762cfe6fccc844f10eb04f32d470b6a@i2pn2.org>
	<vrrpcl$11a56$4@dont-email.me>
	<8423998561d8feee807509b0ed6335123d35a7c9@i2pn2.org>
	<vrt3gv$264jb$4@dont-email.me>
	<448c82acff6b5fc1d2aa266be92df6f778ec2c6a@i2pn2.org>
	<vru5tp$38ob9$1@dont-email.me>
	<ac61f679d7ddb39b0ceaedd7f562899d36346535@i2pn2.org>
	<vrvccp$aq8m$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Mar 2025 09:49:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1811757"; 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: 4073
Lines: 52

Am Tue, 25 Mar 2025 17:57:29 -0500 schrieb olcott:
> On 3/25/2025 4:32 PM, joes wrote:
>> Am Tue, 25 Mar 2025 07:00:57 -0500 schrieb olcott:
>>> On 3/25/2025 3:37 AM, joes wrote:
>>>> Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
>>>>> On 3/24/2025 8:28 PM, Richard Damon wrote:
>>>>>> On 3/24/25 10:14 AM, olcott wrote:
>>>>>>> On 3/24/2025 6:23 AM, Richard Damon wrote:
>>>>>>>> On 3/23/25 9:06 PM, olcott wrote:
>>>>>>>>> On 3/23/2025 6:56 PM, Richard Damon wrote:
>>>>>>>>>> On 3/23/25 6:47 PM, olcott wrote:
>>>>>>>>>>> On 3/23/2025 4:46 PM, Richard Damon wrote:
>>>>>>>>>>>> On 3/23/25 1:21 PM, olcott wrote:
>>>>>>>>>>>>> On 3/23/2025 6:07 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 3/22/25 11:52 PM, olcott wrote:
>>>>>>>>>>>>>>> On 3/22/2025 9:53 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 3/22/25 2:08 PM, olcott wrote:


>>>>>>>>>>>>>>>>> There exists no Natural Number N number of steps of III
>>>>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its own
>>>>>>>>>>>>>>>>> "ret" instruction and terminates normally.
>> 
>>>> But there is an N after which III returns.

^

>>>>>>>>>> Right, and thus you must consider *ALL* of that memory as the
>>>>>>>>>> input, so if you change it, it is a different input.
>>>>>>>>> You haven't yet noticed that all posts with this title [III
>>>>>>>>> correctly emulated by EEE] are talking about a pure emulator
>>>>>>>>> that emulates a finite number of instructions of III.
>> 
>>>> Then it is not pure.

^

>>>> DDD, the input, halts.
>>> The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
>> Then what is? Another program with the same name that doesn't?
> An entirely different instance that has different behavior.
Not with deterministic code. So what is the input, if not DDD?

> It is easier to see this as DDD emulated by HHH where DDD defines a
> pathological relationship with HHH versus DDD emulated by HHH1 where
> there is no such pathological relationship.
> DDD/HHH  Cannot possibly reach its final halt state.
> DDD/HHH1 Reaches its final halt state.
HHH1 is right.

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