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

On 6/3/2024 4:44 AM, Mikko wrote:

On 2024-06-02 14:08:49 +0000, olcott said:
>

On 6/2/2024 3:29 AM, Mikko wrote:

On 2024-06-01 15:30:30 +0000, olcott said:
>

On 6/1/2024 6:22 AM, Richard Damon wrote:

 ...

*I will not discuss any other points with you until after you either*

>
That is a good idea!
>

(a) Acknowledge that DD correctly simulated by HH and ⟨Ĥ⟩ ⟨Ĥ⟩ correctly
     simulated by embedded_H remain stuck in recursive simulation for
     1 to ∞ of correct simulation or
>
(b) Correctly prove otherwise.

>

>
Richard continually uses the CHANGE-THE-SUBJECT Straw-man deception
fake rebuttal to make sure there is NEVER ANY closure on any points.
He has been consistently doing this on every point for the last
three years.

>
In such situations a valid option is to not respond at all.
Another valid option is to respond to the part that is about
the subject, or to note the lack of disagreement. And of
course you may accept the change of the subject as it does
not prevent you from continuing about the original subject
in other messages.
>

 *Repeat until correct rebuttal*
DD correctly emulated by any HH that can possibly exist DOES NOT HALT
DD correctly emulated by any HH that can possibly exist DOES NOT HALT
DD correctly emulated by any HH that can possibly exist DOES NOT HALT

 typedef int (*ptr)();  // ptr is pointer to int function in C
00       int HH(ptr p, ptr i);
01       int DD(ptr p)
02       {
03         int Halt_Status = HH(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
 _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]