Path: ...!weretis.net!feeder9.news.weretis.net!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: Wed, 26 Mar 2025 07:20:23 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <c93030bbd81fb313c76c256c6e54beb48b07dfdd@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <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>
 <e166831a8e02332d64ec151f61481e2629e6e53a@i2pn2.org>
 <vrvsh4$p4vd$2@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 11:25:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1823100"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vrvsh4$p4vd$2@dont-email.me>
Bytes: 4791
Lines: 69

On 3/25/25 11:32 PM, olcott wrote:
> On 3/25/2025 8:14 PM, Richard Damon wrote:
>> 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,
> 
> Since you know that I know you are lying I
> dare you to prove your point with actual correct
> reasoning so that you can make a fool of yourself.
> 

No, I know that you are so stupid you think i am lying when you are.

My point is proven by just running HHH, and seeing that it gives up.

We can then run the version where main calls DDD, and we see that by the 
DEFINITIONS of the problem, the input halts, and thus HHH was wrong.

Sorry, you are just proving to the world that you are so stupid you 
can't see your stupidity. A perfect example of Dunning-Kruger.