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

On 6/15/24 9:17 AM, olcott wrote:

On 6/15/2024 7:57 AM, Python wrote:

Le 15/06/2024 à 14:30, olcott a écrit :
...

If there is no mapping form the input to H(D,D) to the behavior
of D(D) then H is not being asked about the behavior of D(D).

>
Of course it is: by *definition* of H.
>
>
>

 In other words you can show the detailed steps of this mapping
even though Richard cannot.

Mappings don't *HAVE* steps, they are just a mapping.
And the results of the direct execution of D(D) show that mapping.

 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]
 

Perhaps it is time to point out that this ISN'T the input to H.
The input to H, the way you have defined it, is the ENTIRETY of the memory space that D and H live in, along with the address of where to start.
If you claim that the above is ALL that is given to H, then your input is just wrong, and you have been lying that D was built by the requirements of the proof.
This is because, the above does NOT fully specify the PROGRAM D to analyze, which is what D is DEFINED to be asking H to do, so, it could be that you just wasted decades because you didn't read your requirements.