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 21:22:25 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <d2f86fad6c5823e3c098f30d331576c52263b398@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <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>
 <c93030bbd81fb313c76c256c6e54beb48b07dfdd@i2pn2.org>
 <vs1vuv$2ot1m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 27 Mar 2025 01:22:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1909171"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vs1vuv$2ot1m$1@dont-email.me>
Content-Language: en-US
Bytes: 5806
Lines: 95

On 3/26/25 6:43 PM, olcott wrote:
> On 3/26/2025 6:20 AM, Richard Damon wrote:
>> 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.
>>
> 
> You already admitted that DDD emulated by HHH never reaches
> its final state an halts. Do you not understand that this
> behavior can be detected in a finite number of steps.

But it isn't non-halting.

Non-Halting is that the machine won't reach its final staste even if an 
unbounded number of steps are emulated. Since HHH doesn't do that, it 
isn't showing non-halting.

UTM(DDD) shows that the DDD that calls the HHH that THINKS (incorrectly) 
that it has detected non-halting behavior will, in fact, reach a final 
state, and thus be halting, and thus HHH is wrong if though of as an 
actual Halting Decider.

Maybe you have solved the POOP problem, if you can ever properly define 
it, which I am not so sure about.

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