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.