Re: 197 page execution trace of DDD correctly simulated by HHH

On 6/28/2024 2:17 AM, Mikko wrote:

On 2024-06-27 17:07:20 +0000, olcott said:
 

Until you agree with this we cannot move on to the next
and final point that proves I am correct. Proving that
point may possibly take longer than the rest of my life
so let's not delay this OK?
>
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
>
The call from DDD to H0(DDD) when DDD is correctly emulated
by x86 emulator H0 cannot possibly return.

 If it is too hard to prove that H0 has the properties you claim
then an agreement is unlikely. Perhaps you should Δ instead and
just assume it has the properties you consider essential. The
full proof of your claim does not need much more.
 

It is not at all too hard to prove. It is easy to prove
if you know, C, x86 emulators and the x86 language
sufficiently well and impossible otherwise.
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
_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]
The call from DDD to HHH(DDD) when N steps of DDD are correctly
emulated by any pure function x86 emulator HHH cannot possibly return.
The behavior of the directly executed DDD() is irrelevant
because that is not the behavior of the input. Deciders
compute the mapping from their actual finite string input
to an output by a sequence of finite string transformations.
In this case the sequence is the line-by-line execution
trace of the behavior of DDD correctly emulated by HHH.
The behavior of this input must include and cannot ignore
the recursive emulation specified by the fact that DDD is
calling its own emulator. That people think they can just
pretend that this is not happening is ridiculous.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer