Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

"Nuclear war can ruin your whole compile." -- Karl Lehenbauer


computers / comp.ai.philosophy / Re: H(P,P)==0 is proven to be correct thus refuting the halting problem proofs

Subject: Re: H(P,P)==0 is proven to be correct thus refuting the halting problem proofs
From: Richard Damon
Newsgroups: comp.theory, comp.ai.philosophy, comp.lang.c, comp.lang.c++
Organization: Forte - www.forteinc.com
Date: Sat, 21 May 2022 16:22 UTC
References: 1 2 3
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer02.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx36.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.9.0
Subject: Re: H(P,P)==0 is proven to be correct thus refuting the halting
problem proofs
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,comp.lang.c,comp.lang.c++
References: <2o6dnUiVkpwkZxX_nZ2dnUU7_83NnZ2d@giganews.com>
<2l7iK.4210$3Gzd.996@fx96.iad>
<pbWdnQ8FgdkYlBT_nZ2dnUU7_83NnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <pbWdnQ8FgdkYlBT_nZ2dnUU7_83NnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 166
Message-ID: <Rk8iK.97$oBkb.52@fx36.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sat, 21 May 2022 12:22:09 -0400
X-Received-Bytes: 8763
View all headers
On 5/21/22 11:47 AM, olcott wrote:
On 5/21/2022 10:14 AM, Richard Damon wrote:

On 5/21/22 10:44 AM, olcott wrote:
It is an easily verified fact that the execution trace provided by H(P,P) of the nested simulation of its input exactly matches the behavior of the correctly reverse-engineered nested execution trace would be.

No, it is easy to verify that it does NOT.
You know that you are a liar so I challenge you to provide the execution trace that a pure single level nested emulation of the input to H(P,P) would be. Any failure to provide this basis for your damned lies will be considered direct admission that you know you are lying.

_P()
[00001352](01)  55              push ebp
[00001353](02)  8bec            mov ebp,esp
[00001355](03)  8b4508          mov eax,[ebp+08]
[00001358](01)  50              push eax      // push P
[00001359](03)  8b4d08          mov ecx,[ebp+08]
[0000135c](01)  51              push ecx      // push P
[0000135d](05)  e840feffff      call 000011a2 // call H
[00001362](03)  83c408          add esp,+08
[00001365](02)  85c0            test eax,eax
[00001367](02)  7402            jz 0000136b
[00001369](02)  ebfe            jmp 00001369
[0000136b](01)  5d              pop ebp
[0000136c](01)  c3              ret
Size in bytes:(0027) [0000136c]




Well, I wopuld need to have the code for H to do that, since that is PART of P.

It would begin as:

     machine   stack     stack     machine    assembly
     address   address   data      code       language
     ========  ========  ========  =========  =============
....[00001352][0021233e][00212342] 55         push ebp      // enter P
....[00001353][0021233e][00212342] 8bec       mov ebp,esp
....[00001355][0021233e][00212342] 8b4508     mov eax,[ebp+08]
....[00001358][0021233a][00001352] 50         push eax      // push P
....[00001359][0021233a][00001352] 8b4d08     mov ecx,[ebp+08]
....[0000135c][00212336][00001352] 51         push ecx      // push P
....[0000135d][00212332][00001362] e840feffff call 000011a2 // call H

At this point I don't have the data, but it would trace the instructions that H executes as it simulates its copy of P until it reaches the point it decides to abort its simulation and return to P

Then it would continue to:

....[00001362][00212332][00001362] 83c408     add esp,+08
....[00001365][0021233a][00001352] 85c0       test eax,eax
....[00001367][0021233a][00001352] 7402       jz 0000136b
....[0000136b][0021233a][00001352] 5d         pop ebp
....[0000136c][0021233a][00001352] c3         ret

And P thus Halts.

(Disclaimer, Hand done so typeographical errors may exist)

YOU even have provided the basis of this trace when you published this equivalent a while back (The trace of H_Hat(H_Hat)

This had the issue that it traces the simulated program that the simulated H was simulating rather than H itself, but the rest shows what happens.

 > 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



SubjectRepliesAuthor
o H(P,P)==0 is proven to be correct thus refuting the halting problem

By: olcott on Sat, 21 May 2022

20olcott
rocksolid light 0.7.2
clearneti2ptor