@MSGID: TCKc.462746@fx13.iad>
e7a43834
@REPLY: 1@dont-email.me> 3654015e
@REPLYADDR Richard Damon
<Richard@Damon-Family.org>
@REPLYTO 2:5075/128 Richard Damon
@CHRS: CP866 2
@RFC: 1 0
@RFC-References: 3@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me>
@RFC-Message-ID:
TCKc.462746@fx13.iad>
@TZUTC: -0400
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 8/17/23 11:29 AM, olcott wrote:
> On 8/17/2023 10:04 AM, Mikko wrote:
>> On 2023-08-17 14:59:45 +0000, olcott said:
>>
>>> When I prove that you are wrong you simply stop talking because you 
>>> never wanted any honest dialogue.
>>
>> You can`t know that until you prove me wrong.
>>
>> Mikko
>>
> 
> I just did prove you wrong by showing the actual execution trace
> of D correctly simulated by H cannot possibly terminate normally.
> 
> That you believe there is some kind of magical power to overcome
> this is ridiculous.
> 

No, the CORRECT simulation of D, as YOU have previously publish, which 
shiws that a CORRECT simulation of D (which back the you called H_Hat) 
will halt, is:

On 4/27/21 12:55 AM, olcott wrote:
Message-ID: <Teudndbu59GVBBr9nZ2dnUU7-V2dnZ2d@giganews.com>
 > void H_Hat(u32 P)
 > {
 >  u32 Input_Halts = Halts(P, P);
 >  if (Input_Halts)
 >    HERE: goto HERE;
 > }
 >
 >
 > int main()
 > {
 >  H_Hat((u32)H_Hat);
 > }
 >
 >
 > _H_Hat()
 > [00000b98](01)  55                  push ebp
 > [00000b99](02)  8bec                mov ebp,esp
 >
[00000b9b](01)  51                  push ecx
 > [00000b9c](03)  8b4508              mov eax,[ebp+08]
 > [00000b9f](01)  50                  push eax
 > [00000ba0](03)  8b4d08              mov ecx,[ebp+08]
 > [00000ba3](01)  51                  push ecx
 > [00000ba4](05)  e88ffdffff          call 00000938
 > [00000ba9](03)  83c408              add esp,+08
 > [00000bac](03)  8945fc              mov [ebp-04],eax
 > [00000baf](04)  837dfc00            cmp dword [ebp-04],+00
 > [00000bb3](02)  7402                jz 00000bb7
 > [00000bb5](02)  ebfe                jmp 00000bb5
 > [00000bb7](02)  8be5                mov esp,ebp
 > [00000bb9](01)  5d                  pop ebp
 > [00000bba](01)  c3                  ret
 > Size in bytes:(0035) [00000bba]
 >
 > _main()
 > [00000bc8](01)  55                  push ebp
 > [00000bc9](02)  8bec                mov ebp,esp
 > [00000bcb](05)  68980b0000          push 00000b98
 > [00000bd0](05)  e8c3ffffff          call 00000b98
 > [00000bd5](03)  83c404              add esp,+04
 > [00000bd8](02)  33c0                xor eax,eax
 > [00000bda](01)  5d                  pop ebp
 > [00000bdb](01)  c3                  ret
 > Size in bytes:(0020) [00000bdb]
 >
 > ===============================
 > ...[00000bc8][001015d4][00000000](01)  55         push ebp
 > ...[00000bc9][001015d4][00000000](02)  8bec       mov ebp,esp
 > ...[00000bcb][001015d0][00000b98](05)  68980b0000 push 00000b98
 > ...[00000bd0][001015cc][00000bd5](05)  e8c3ffffff call 00000b98
 > ...[00000b98][001015c8][001015d4](01)  55         push ebp
 > ...[00000b99][001015c8][001015d4](02)  8bec       mov ebp,esp
 > ...[00000b9b][001015c4][00000000](01)  51         push ecx
 > ...[00000b9c][001015c4][00000000](03)  8b4508     mov  eax,[ebp+08]
 > ...[00000b9f][001015c0][00000b98](01)  50         push eax
 > ...[00000ba0][001015c0][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][001015bc][00000b98](01)  51         push ecx
 > ...[00000ba4][001015b8][00000ba9](05)  e88ffdffff call 00000938
 > Begin Local Halt Decider Simulation at Machine Address:b98
 > ...[00000b98][00211674][00211678](01)  55         push ebp
 > ...[00000b99][00211674][00211678](02)  8bec       mov ebp,esp
 > ...[00000b9b][00211670][00201644](01)  51         push ecx
 > ...[00000b9c][00211670][00201644](03)  8b4508     mov eax,[ebp+08]
 > ...[00000b9f][0021166c][00000b98](01)  50         push eax
 > ...[00000ba0][0021166c][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][00211668][00000b98](01)  51         push ecx
 > ...[00000ba4][00211664][00000ba9](05)  e88ffdffff call 00000938
 > ...[00000b98][0025c09c][0025c0a0](01)  55         push ebp
 > ...[00000b99][0025c09c][0025c0a0](02)  8bec       mov ebp,esp
 > ...[00000b9b][0025c098][0024c06c](01)  51         push ecx
 > ...[00000b9c][0025c098][0024c06c](03)  8b4508     mov eax,[ebp+08]
 > ...[00000b9f][0025c094][00000b98](01)  50         push eax
 > ...[00000ba0][0025c094][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][0025c090][00000b98](01)  51         push ecx
 > ...[00000ba4][0025c08c][00000ba9](05)  e88ffdffff call 00000938
 > Local Halt Decider: Infinite Recursion Detected Simulation Stopped

Above decision was from the call the Halts inside H_Hat, deciding that 
H_Hat(H_Hat) seems to be non-halting, it then returns that answer and is 
processed below:

 > ...[00000ba9][001015c4][00000000](03)  83c408     add esp,+08
 > ...[00000bac][001015c4][00000000](03)  8945fc     mov [ebp-04],eax
 > ...[00000baf][001015c4][00000000](04)  837dfc00   cmp dword [ebp-04],+00
 > ...[00000bb3][001015c4][00000000](02)  7402       jz 00000bb7
 > ...[00000bb7][001015c8][001015d4](02)  8be5       mov esp,ebp
 > ...[00000bb9][001015cc][00000bd5](01)  5d         pop ebp
 > ...[00000bba][001015d0][00000b98](01)  c3         ret
 > ...[00000bd5][001015d4][00000000](03)  83c404     add esp,+04
 > ...[00000bd8][001015d4][00000000](02)  33c0       xor eax,eax
 > ...[00000bda][001015d8][00100000](01)  5d         pop ebp
 > ...[00000bdb][001015dc][00000098](01)  c3         ret

SEE IT HALTED!

 > Number_of_User_Instructions(39)
 > Number of Instructions Executed(26567)


--- Mozilla Thunderbird
 * Origin: Forte - www.forteinc.com (2:5075/128)
SEEN-BY: 5001/100 5015/255 5019/40 5020/715 848
1042 4441 12000 5030/49 1081
SEEN-BY: 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441