Deutsch   English   Français   Italiano  
<e166831a8e02332d64ec151f61481e2629e6e53a@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: III correctly emulated by EEE ---
Date: Tue, 25 Mar 2025 21:14:58 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <e166831a8e02332d64ec151f61481e2629e6e53a@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; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Mar 2025 01:42:48 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1768182"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vrvccp$aq8m$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 3/25/25 6:57 PM, olcott wrote:
> 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.

YOu mean it has a different set of instructions?

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

So HHH just gives up before reaching the end, but doesn't show that a 
FULL emulation of that input won't reach there.

> DDD/HHH1 Reaches its final halt state.
> 

Because HHH1 didn't give up.

HHH giving up doesn't prove that the correct emulation of its input 
doesn't reach a halting state, just that HHH didn't emulate long enough.


HHH can't emulate longer, as it would no longer BE that HHH, but some 
other program, and would have to be at some other address, or you have 
changed the program DDD as it is already using that memory and fixed its 
values.

Of course, if you say those locations aren't part of the input 
representing DDD becuase they are a part of DDD, then DDD CAN'T be 
correctly emulated, as it is no longer actually a program with behavior, 
as a program can't use code that isn't part of itself.

Sorry, you are just proving that your logic is based on lies and fraud.