Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating
 itself emulating DDD --- anyone that says otherwise is a liar
Date: Fri, 22 Nov 2024 10:55:38 -0600
Organization: A noiseless patient Spider
Lines: 100
Message-ID: <vhqd2a$18k1i$2@dont-email.me>
References: <vhdd32$oq0l$1@dont-email.me> <vhf257$16a9p$1@dont-email.me>
 <vhg8qq$1duv3$1@dont-email.me> <vhho9r$1pkdu$1@dont-email.me>
 <vhjkn0$28t3s$2@dont-email.me> <vhkbia$1md6$1@dont-email.me>
 <vhlmbv$9l59$2@dont-email.me>
 <d575206d11b6ca9827a7245566e3d2a990cc0de2@i2pn2.org>
 <vhm7j5$c0mm$2@dont-email.me>
 <30f8781365f13eb6712a653321d2e49aa833f360@i2pn2.org>
 <vhnj19$mjea$1@dont-email.me>
 <edab5a897ccdda3deba5af968da56f5fc3718936@i2pn2.org>
 <vho85f$pvmk$1@dont-email.me>
 <4b836bd0c44eb0fb0d01ac1401bde229813cef20@i2pn2.org>
 <vhq5np$179o9$1@dont-email.me>
 <346bff8d866f1a72f9415e11ffe626514729066e@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 22 Nov 2024 17:55:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="09ab77bdfc083beb90a783f7b4172951";
	logging-data="1331250"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Vmcs4FpRDtXVQcI2Y/w5G"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:M7oHZsqBnhAoJL0nYTf2NSJ866o=
Content-Language: en-US
In-Reply-To: <346bff8d866f1a72f9415e11ffe626514729066e@i2pn2.org>
X-Antivirus: Norton (VPS 241122-2, 11/22/2024), Outbound message
X-Antivirus-Status: Clean
Bytes: 6196

On 11/22/2024 10:43 AM, Richard Damon wrote:
> On 11/22/24 9:50 AM, olcott wrote:
>> On 11/22/2024 6:20 AM, joes wrote:
>>> Am Thu, 21 Nov 2024 15:19:43 -0600 schrieb olcott:
>>>> On 11/21/2024 3:11 PM, joes wrote:
>>>>> Am Thu, 21 Nov 2024 09:19:03 -0600 schrieb olcott:
>>>>>> On 11/20/2024 10:00 PM, Richard Damon wrote:
>>>>>>> On 11/20/24 9:57 PM, olcott wrote:
>>>>>>>> On 11/20/2024 5:51 PM, Richard Damon wrote:
>>>>>>>>> On 11/20/24 5:03 PM, olcott wrote:
>>>>>>>>>> On 11/20/2024 3:53 AM, Mikko wrote:
>>>>>>>>>>> On 2024-11-20 03:23:12 +0000, olcott said:
>>>>>>>>>>>> On 11/19/2024 4:12 AM, Mikko wrote:
>>>>>>>>>>>>> On 2024-11-18 20:42:02 +0000, olcott said:
>>>>>>>>>>>>>> On 11/18/2024 3:41 AM, Mikko wrote:
>>>>>>>>>>>>>>> The "the mapping" on the subject line is not correct. The
>>>>>>>>>>>>>>> subject line does not specify which mapping and there is no
>>>>>>>>>>>>>>> larger context that could specify that. Therefore it should
>>>>>>>>>>>>>>> be "a mapping".
>>>>>>>>>>>>>>> On 2024-11-17 18:36:17 +0000, olcott said:
>>>>>
>>>>>>>> My code is one example of the infinite set of every possible HHH
>>>>>>>> that emulates DDD according to the semantics of the x86 language.
>>>>> Like all of them, it is unable to simulate DDD to its undeniable
>>>>> halting state.
>>>> In your case you may simply not even understand what infinite recursion
>>>> is, thus cannot see the isomorphism.
>>>
>>>
>>>>>>> But it gets the wrong answer for the halting problem, as DDD dpes
>>>>>>> halt.
>>>>>> DDD emulated by HHH does not halt.
>>>>> Whatever. DDD halts and HHH should return that.
>>>> IT IS NOT THE SAME INSTANCE OF DDD.
>>> All instances of DDD behave the same (if it is a pure function and
>>> the HHH called from it doesn't switch behaviour by a static variable).
>>>
>>
>> Only HHH is required to be a pure function, DDD is expressly
>> allowed to be any damn thing. The actual behavior of DDD
>> emulated by HHH is different than the actual behavior of DDD
>> emulated by HHH1.
> 
> But that means your question doesn't HAVE an answer, as if you can't 
> tell the answer from JUST the input DDD, then that input doesn't have an 
> answer.
> 

*The execution trace of DDD emulated by HHH proves what the answer is*

_DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov ebp,esp   ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add esp,+04
[00002182] 5d         pop ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]

_main()
[00002192] 55         push ebp
[00002193] 8bec       mov ebp,esp
[00002195] 6872210000 push 00002172 ; push DDD
[0000219a] e833f4ffff call 000015d2 ; call HHH(DDD)
[0000219f] 83c404     add esp,+04
[000021a2] 50         push eax
[000021a3] 6843070000 push 00000743
[000021a8] e8b5e5ffff call 00000762
[000021ad] 83c408     add esp,+08
[000021b0] 33c0       xor eax,eax
[000021b2] 5d         pop ebp
[000021b3] c3         ret
Size in bytes:(0034) [000021b3]

  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00002192][00103820][00000000] 55         push ebp      ; Begin main()
[00002193][00103820][00000000] 8bec       mov ebp,esp   ; housekeeping
[00002195][0010381c][00002172] 6872210000 push 00002172 ; push DDD
[0000219a][00103818][0000219f] e833f4ffff call 000015d2 ; call HHH(DDD)

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)

*You are just a damned liar*

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer