Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down --- canonical

On 6/1/24 12:46 PM, olcott wrote:

On 6/1/2024 11:33 AM, Richard Damon wrote:

On 6/1/24 12:18 PM, olcott wrote:

On 6/1/2024 11:08 AM, Richard Damon wrote:

On 6/1/24 11:58 AM, olcott wrote:

On 6/1/2024 10:46 AM, Richard Damon wrote:

On 6/1/24 10:00 AM, olcott wrote: >> DD correctly simulated by HH remains stuck in recursive simulation

all the time it is simulated even when an infinite number of steps
are simulated.

>
So, are you admitting that HH just gets stuck and doesn't answer when asked HH(DD,DD)?
>

>
Every DD correctly simulated by any HH remains stuck in recursive simulation for 1 to ∞ steps of correct simulation.

>
So? Since you definition of "Correct Simulation" is non-canonical, that doesn't mean anything.
>

>
*When the "canonical" definition tries to get away with refuting this*
>
DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite
number of steps of correct emulation.

>
No, it doesn't "Refute" that,

 *Then what I said stands unrefuted*
*Then what I said stands unrefuted*
*Then what I said stands unrefuted*

And unproven, and still meaningless.

 *We can't move on to any other point until*
(a) You acknowledge that my above statement about the behavior of the
x86 machine code of DD is irrefutable and applies to the C source code version of DD and applies to the Linz proof.
 (b) You correctly refute what I said above about the behavior of the
x86 machine code of DD.

But why do we care about the fact that all your HH that answer just gave up on their simulation before the actual canonically correct simulation would have reached a final state, and thus that you HH gave a canonically wrong answer to the question it was supposed to be answering?

 

>
_DD()
[00001c22] 55         push ebp
[00001c23] 8bec       mov ebp,esp
[00001c25] 51         push ecx
[00001c26] 8b4508     mov eax,[ebp+08]
[00001c29] 50         push eax        ; push DD 1c22
[00001c2a] 8b4d08     mov ecx,[ebp+08]
[00001c2d] 51         push ecx        ; push DD 1c22
[00001c2e] e80ff7ffff call 00001342   ; call HH
[00001c33] 83c408     add esp,+08
[00001c36] 8945fc     mov [ebp-04],eax
[00001c39] 837dfc00   cmp dword [ebp-04],+00
[00001c3d] 7402       jz 00001c41
[00001c3f] ebfe       jmp 00001c3f
[00001c41] 8b45fc     mov eax,[ebp-04]
[00001c44] 8be5       mov esp,ebp
[00001c46] 5d         pop ebp
[00001c47] c3         ret
Size in bytes:(0038) [00001c47]
>

>