Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: The actual code of HHH Date: Sat, 1 Mar 2025 20:14:06 -0500 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 2 Mar 2025 01:14:06 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2424304"; 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: Content-Language: en-US Bytes: 3423 Lines: 59 On 3/1/25 5:02 PM, olcott wrote: > On 3/1/2025 2:10 AM, Mikko wrote: >> On 2025-03-01 01:16:41 +0000, olcott said: >> >>> On 2/28/2025 3:16 AM, Mikko wrote: >>>> On 2025-02-27 15:29:31 +0000, olcott said: >>>> >>> >>>>>> No, it is correct to report that HHH is unable to correctly >>>>>> simulate this halting program up to its end. >>>>> >>>>> In other words you are totally clueless that infinite >>>>> recursion HAS NO END. >>>> >>>> Do you mean that having no end enables the simulation to the end? >>> >>> see my new post >>> DD emulated by HHH cannot possibly terminate normally --- x86 code >> >> In that post: >> >>> DD() >>> [00002133] 55         push ebp      ; housekeeping >>> [00002134] 8bec       mov ebp,esp   ; housekeeping >>> [00002136] 51         push ecx      ; make space for local >>> [00002137] 6833210000 push 00002133 ; push DD >>> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD) >>> [00002141] 83c404     add esp,+04 >>> [00002144] 8945fc     mov [ebp-04],eax >>> [00002147] 837dfc00   cmp dword [ebp-04],+00 >>> [0000214b] 7402       jz 0000214f >>> [0000214d] ebfe       jmp 0000214d >>> [0000214f] 8b45fc     mov eax,[ebp-04] >>> [00002152] 8be5       mov esp,ebp >>> [00002154] 5d         pop ebp >>> [00002155] c3         ret >>> Size in bytes:(0035) [00002155] >>> >>> When we hypothesize that the code at machine address >>> 0000213c is an x86 emulator then we know that DD >>> remains stuck in recursive emulation and cannot possibly >>> reach its own "ret" instruction and terminate normally. >>> >>> When we add the additional complexity that HHH also >>> aborts this sequence at some point then every level >>> of recursive emulation immediately stops. This does >>> not enable any DD to ever reach its "ret" instruction. >> >> The question remains unanswered. If the author cannot tell what he >> means we may assume that he didn't mean anything. >> > > Your question applied to my ambiguous verbiage. > I cancel that ambiguous verbiage and say that > DD emulated by HHH cannot possibly reach its > own "ret" instruction. > > Which is just a strawman, proving that you are just a fraud.