On 5/30/2024 3:51 PM, Mike Terry wrote:
On 30/05/2024 17:55, olcott wrote:
<snipped so that
http://al.howardknight.net/ can see the whole message>
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 }
*TO ANYONE HAVING SUFFICIENT KNOWLEDGE OF THE C PROGRAMMING LANGUAGE*
Merely from the C source code it can be verified that DD correctly
simulated by pure simulator HH or pure function HH cannot possibly
reach its own simulated final state at line 06 and halt because
every DD remains stuck in recursive simulation the whole time that
it is correctly simulated.
_DD()
[00001c22] 55 push ebp
[00001c23] 8bec mov ebp,esp
[00001c25] 51 push ecx
[00001c26] 8b4508 mov eax,[ebp+08]
[00001c29] 50 push eax
[00001c2a] 8b4d08 mov ecx,[ebp+08]
[00001c2d] 51 push ecx
[00001c2e] e80ff7ffff call 00001342
[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]
Begin Local Halt Decider Simulation Execution Trace Stored at:113075
[00001c22][00113061][00113065] 55 push ebp
[00001c23][00113061][00113065] 8bec mov ebp,esp
[00001c25][0011305d][00103031] 51 push ecx
[00001c26][0011305d][00103031] 8b4508 mov eax,[ebp+08]
[00001c29][00113059][00001c22] 50 push eax ; push DD
[00001c2a][00113059][00001c22] 8b4d08 mov ecx,[ebp+08]
[00001c2d][00113055][00001c22] 51 push ecx ; push DD
[00001c2e][00113051][00001c33] e80ff7ffff call 00001342 ; call HH
New slave_stack at:14da95
[00001c22][0015da89][0015da8d] 55 push ebp
[00001c23][0015da89][0015da8d] 8bec mov ebp,esp
[00001c25][0015da85][0014da59] 51 push ecx
[00001c26][0015da85][0014da59] 8b4508 mov eax,[ebp+08]
[00001c29][0015da81][00001c22] 50 push eax ; push DD
[00001c2a][0015da81][00001c22] 8b4d08 mov ecx,[ebp+08]
[00001c2d][0015da7d][00001c22] 51 push ecx ; push DD
[00001c2e][0015da79][00001c33] e80ff7ffff call 00001342 ; call HH
Local Halt Decider: Recursive Simulation Detected Simulation Stopped
Merely from the C source code it can be verified that DD correctly
simulated by pure simulator HH or pure function HH cannot possibly
reach its own simulated final state at line 06 and halt because
every DD remains stuck in recursive simulation the whole time that
it is correctly simulated.
>
Thus the fact that one implementation of HH is is not a pure function
makes no ultimate difference in this analysis and is a mere distraction
away from the point.
You introduced the trace into the discussion, as evidence of something. But the trace is produced by a /specific/ HH/DD pair which are incorrectly implemented, and so are evidence of nothing.
*TO ANYONE HAVING SUFFICIENT KNOWLEDGE OF THE X86 LANGUAGE*
When you compare the x86 source code of D to the trace produced by
a blind drunk monkey you can tell that the trace is perfectly correct
because the x86 instructions specified by D are correctly simulated
and simulated in the correct order by this blind drunk monkey.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…