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

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, it just says your statement is meaningless. Aborted simulations just don't directly tell you if the machine being simulated is non-halting.
If you are too stupid to understand that, it is your own problem.

 *Then the "canonical" definition is empirically proven to be incorrect*

IMPOSSIBLE.
I guess you are admitting you don't know what a DEFINITION is, so of course you whole logic system is meaningless, BUY DEFINITION.
Remeber, YOU AGREED that D(D) Halts when H(D,D) returns 0, but you claim that H must still be correct ingiving the wrong answer. THAT is the foundation of your logic, that LIES can be TRUE if you try to define them to be, which just means your world is all just a fantasy that bears no resemblence to reality.
Of course, some day, maybe soon, you will see the results of that, and weep.

 _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]