Re: Olcott is simply wrong --- Try to prove otherwise --- pinned down

On 6/2/24 10:08 AM, olcott wrote:

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.

No, I keep on showing that your subject is DEAD because it has internal inconsitancies, and can't actually prove what you are going to try to do.
You are just too stupid to understand that.

 Everyone here has been doing the exact same thing on the
point of the behavior of DD correctly simulated by HH.

And why do we care about DD partially simulated by HH?
The question is on the behavior the input specifies, which is that of the program it represents, or the actual COMPLETE simulation of that input (not by H, unless that is what H does, at which point it has been proven it doesn't answer).

 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       }
08
09       int main()
10       {
11         HH(DD,DD);
12         return 0;
13       }
  DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite
(or infinite) number of steps of correct emulation.
 _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]