Re: H(D,D) cannot even be asked about the behavior of D(D) V2

On 6/14/2024 10:40 PM, Richard Damon wrote:

On 6/14/24 11:07 PM, olcott wrote:

On 6/13/2024 8:24 PM, Richard Damon wrote:
 > On 6/13/24 11:32 AM, olcott wrote:
 >>
 >> It is contingent upon you to show the exact steps of how H computes
 >> the mapping from the x86 machine language finite string input to
 >> H(D,D) using the finite string transformation rules specified by
 >> the semantics of the x86 programming language that reaches the
 >> behavior of the directly executed D(D)
 >>
 >
 > Why? I don't claim it can.
>
_D()
[00000cfc](01) 55          push ebp
[00000cfd](02) 8bec        mov ebp,esp
[00000cff](03) 8b4508      mov eax,[ebp+08]
[00000d02](01) 50          push eax       ; push D
[00000d03](03) 8b4d08      mov ecx,[ebp+08]
[00000d06](01) 51          push ecx       ; push D
[00000d07](05) e800feffff  call 00000b0c  ; call H
[00000d0c](03) 83c408      add esp,+08
[00000d0f](02) 85c0        test eax,eax
[00000d11](02) 7404        jz 00000d17
[00000d13](02) 33c0        xor eax,eax
[00000d15](02) eb05        jmp 00000d1c
[00000d17](05) b801000000  mov eax,00000001
[00000d1c](01) 5d          pop ebp
[00000d1d](01) c3          ret
Size in bytes:(0034) [00000d1d]
>
If there is no mapping from the input to H(D,D) to the behavior
of D(D) then H is not even being asked about the behavior of D(D).
H has no obligation to answer questions *THAT IT IS NOT BEING ASKED*
>

 You keep on stating that LIE.
 

That is is over-your-head does not even make it untrue.
That you call me a liar makes you a liar.
If you want to claim that I am wrong YOU MUST USE REASONING.
Calling me a liar makes you a liar and a fool.

H, being a Halting Decider (or are you lying about that) has exactly one question it *IS* being asked about every input it s given, that that is "Will the execution of the program represented by your input Halt when run?"
 

Yes you are very good at memorizing textbooks now prove that the
input to H(D,D) can be transformed into the question Does D(D) halt?
 >>  > Why? I don't claim it can.
Then H is NOT BEING ASKED ABOUT THE BEHAVIOR OF D(D).
I chopped out the attempt to change the subject.
*YOU MUST STAY FOCUSED ON THIS POINT*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer