Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD incorrectly emulated by HHH is inCorrectly rejected as
 non-halting V2
Date: Wed, 17 Jul 2024 19:56:55 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <66bb69799ce70e9a15eee6b8c3c79cb0fd8a0b31@i2pn2.org>
References: <v6rg65$32o1o$3@dont-email.me> <v6sdlu$382g0$1@dont-email.me>
 <v6td3a$3ge79$1@dont-email.me> <v6tp1j$3imib$2@dont-email.me>
 <v6trdu$3irhh$1@dont-email.me> <v6tu01$3imib$11@dont-email.me>
 <a177dd76613794d6bb877c65ffe6c587a8f31bc1@i2pn2.org>
 <v6tvpv$3imib$14@dont-email.me>
 <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org>
 <v6u346$3khl8$1@dont-email.me>
 <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org>
 <v6v06i$3pivt$1@dont-email.me>
 <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org>
 <v6v2t1$3pmjn$3@dont-email.me>
 <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org>
 <v70lmo$61d8$1@dont-email.me>
 <8a6e6d9ff49aabe2525ce5729a439c807de4768a@i2pn2.org>
 <v71qj3$bvm2$2@dont-email.me>
 <3d124d535f6d59565df213fa58242ee156ee96bb@i2pn2.org>
 <v7349r$mjis$1@dont-email.me> <v756vv$15rrp$1@dont-email.me>
 <v7658i$1b4io$1@dont-email.me> <v77pf4$1nn5l$1@dont-email.me>
 <v78fd7$1rc43$3@dont-email.me> <v78hbf$1rnr3$2@dont-email.me>
 <v78hp8$1rc43$11@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 17 Jul 2024 23:56:55 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3650738"; 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: <v78hp8$1rc43$11@dont-email.me>
Bytes: 5099
Lines: 82

On 7/17/24 9:43 AM, olcott wrote:
> On 7/17/2024 8:35 AM, Fred. Zwarts wrote:
>> Op 17.jul.2024 om 15:02 schreef olcott:
>>> On 7/17/2024 1:48 AM, Mikko wrote:
>>>> On 2024-07-16 15:57:04 +0000, olcott said:
>>>>
>>>>>>>
>>>>>>> New slave_stack at:1038c4
>>>>>>> Begin Local Halt Decider Simulation   Execution Trace Stored 
>>>>>>> at:1138cc
>>>>>>> [00002172][001138bc][001138c0] 55         push ebp      ; 
>>>>>>> housekeeping
>>>>>>> [00002173][001138bc][001138c0] 8bec       mov ebp,esp   ; 
>>>>>>> housekeeping
>>>>>>> [00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
>>>>>>> [0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call 
>>>>>>> HHH(DDD)
>>>>>>> New slave_stack at:14e2ec
>>>>>>> [00002172][0015e2e4][0015e2e8] 55         push ebp      ; 
>>>>>>> housekeeping
>>>>>>> [00002173][0015e2e4][0015e2e8] 8bec       mov ebp,esp   ; 
>>>>>>> housekeeping
>>>>>>> [00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
>>>>>>> [0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call 
>>>>>>> HHH(DDD)
>>>>>>> Local Halt Decider: Infinite Recursion Detected Simulation Stopped
>>>>>>
>>>>>> The trace does not show that HHH returns so there is no basis to
>>>>>> think that HHH is a decider.
>>>>>>
>>>>>
>>>>> The trace shows the data of the executed program of HHH that
>>>>> does halt.
>>>>
>>>> It shows some of the data, not all, and in particular, not the halting.
>>>>
>>>
>>> _DDD()
>>> [00002163] 55         push ebp      ; housekeeping
>>> [00002164] 8bec       mov ebp,esp   ; housekeeping
>>> [00002166] 6863210000 push 00002163 ; push DDD
>>> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
>>> [00002170] 83c404     add esp,+04
>>> [00002173] 5d         pop ebp
>>> [00002174] c3         ret
>>> Size in bytes:(0018) [00002174]
>>>
>>> DDD emulated by HHH according to the semantic meaning of
>>> its x86 instructions never stop running unless aborted.
>>>
>>>
>>
>> You have shown that you do not understand the semantics of the x86 
>> language.
>> HHH does abort and halt after N cycles, 
> That is counter-factual
> 
> When we examine the infinite set of every HHH/DDD pair such that:
> HHH1  One step of DDD is correctly emulated by HHH
> HHH2  Two steps of DDD are correctly emulated by HHH
> HHH3  Three steps of DDD are correctly emulated by HHH
> ...
> HHH∞  The emulation of DDD by HHH never stops

Right, but the DDD being EMULATED does (as long as the code of the HHH 
shows that any copy of it wll return to its called)/


> 
> *THIS IS SELF EVIDENT THUS DISAGREEMENT IS INCORRECT*
> DDD emulated by any pure function HHH according to the
> semantic meaning of its x86 instructions never stops
> running unless aborted.
> 

And youj are just showing you INTENTIONALLY trying to be deceptive.

Yes, the PARTIAL EMULATION by HHH doesn't reach that point, but DDD it 
self does, and THAT is what the question to HHH asks about if we are in 
the area of computation theory.

You are just proving yourself to be just a damn liar.