Re: DDD correctly emulated by H0 --- Why Lie?

On 6/24/24 9:42 AM, olcott wrote:

On 6/24/2024 6:02 AM, Richard Damon wrote:

On 6/23/24 11:26 PM, olcott wrote:

On 6/23/2024 10:11 PM, Richard Damon wrote:

On 6/23/24 10:52 PM, olcott wrote:

 

>

>
for the next 10,000 messages if you really want to look
foolish that long.
>
>

>
Go ahead, stall your argument till you die.

 There is no sense moving on to the next point until AFTER
you quit lying about this point.
 _P()
[000020e2] 55               push ebp         ; housekeeping
[000020e3] 8bec             mov ebp,esp      ; housekeeping
[000020e5] 51               push ecx         ; housekeeping
[000020e6] 8b4508           mov eax,[ebp+08] ; parameter
[000020e9] 50               push eax         ; push parameter
[000020ea] 8b4d08           mov ecx,[ebp+08] ; parameter
[000020ed] 51               push ecx         ; push parameter
[000020ee] e82ff3ffff       call 00001422    ; call H(P,P)
[000020f3] 83c408           add esp,+08
[000020f6] 8945fc           mov [ebp-04],eax
[000020f9] 837dfc00         cmp dword [ebp-04],+00
[000020fd] 7402             jz 00002101
[000020ff] ebfe             jmp 000020ff
[00002101] 8b45fc           mov eax,[ebp-04]
[00002104] 8be5             mov esp,ebp
[00002106] 5d               pop ebp
[00002107] c3               ret
Size in bytes:(0038) [00002107]
 The call from P to H(P,P) when P is correctly emulated
by H cannot possibly return.
 

And my reply, like always, So?
Since that isn't the criteria for Halting, what do I care about it.
You haven' PROVEN your statement, only made a bald claim about it.