| Deutsch English Français Italiano |
|
<d0e74863597abadd96089fc80d33a64b1bcbec62@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
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: The actual code of HHH Date: Sat, 1 Mar 2025 20:14:06 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <d0e74863597abadd96089fc80d33a64b1bcbec62@i2pn2.org> References: <f73c3b97590a4d189e33a2cf255ed3337e56d3cf@i2pn2.org> <vpo6v9$2p51t$1@dont-email.me> <vppb4e$323f6$1@dont-email.me> <vpq0cr$35jvb$3@dont-email.me> <vpruu5$3jk6g$1@dont-email.me> <vptn5p$3st19$15@dont-email.me> <vpufdd$4tjp$1@dont-email.me> <vq0064$dfn3$1@dont-email.me> 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: <vq0064$dfn3$1@dont-email.me> 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.