Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar

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