Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

The only thing cheaper than hardware is talk.


computers / comp.ai.philosophy / H(P,P)==0 is correct for every simulating halt decider H

SubjectAuthor
o H(P,P)==0 is correct for every simulating halt decider Holcott

1
Subject: H(P,P)==0 is correct for every simulating halt decider H
From: olcott
Newsgroups: comp.theory, sci.math, comp.ai.philosophy, sci.logic
Organization: A noiseless patient Spider
Date: Mon, 1 Nov 2021 03:28 UTC
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.math,comp.ai.philosophy,sci.logic
Subject: H(P,P)==0 is correct for every simulating halt decider H
Date: Sun, 31 Oct 2021 22:28:43 -0500
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <slnmtd$7ug$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 1 Nov 2021 03:28:45 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="d0cba29068ca0ae08f522ca8eef1209e";
logging-data="8144"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18EubhpckZRatn+odXwB7Lt"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.2.1
Cancel-Lock: sha1:+TJhcxm9Wlrt9dKQp+3zATPq0EA=
Content-Language: en-US
View all headers
Since the input to H(P,P) never reaches its final state for the two possible behaviors that every H can possibly have (abort the input or do not abort the input) then we can conclude that not halting is the correct decision for every possible simulating halt decider H.

// Simplified Linz Ĥ (Linz:1990:319)
// Strachey(1965) CPL translated to C
void P(u32 x)
{
   if (H(x, x))
     HERE: goto HERE;
}

int main()
{
   Output("Input_Halts = ", H((u32)P, (u32)P));
}

  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00000c56][0010172a][00000000] 55          push ebp
[00000c57][0010172a][00000000] 8bec        mov ebp,esp
[00000c59][00101726][00000c36] 68360c0000  push 00000c36 // push P
[00000c5e][00101722][00000c36] 68360c0000  push 00000c36 // push P
[00000c63][0010171e][00000c68] e8fefcffff  call 00000966 // call H(P,P)

Begin Local Halt Decider Simulation at Machine Address:c36
[00000c36][002117ca][002117ce] 55          push ebp
[00000c37][002117ca][002117ce] 8bec        mov ebp,esp
[00000c39][002117ca][002117ce] 8b4508      mov eax,[ebp+08]
[00000c3c][002117c6][00000c36] 50          push eax       // push P
[00000c3d][002117c6][00000c36] 8b4d08      mov ecx,[ebp+08]
[00000c40][002117c2][00000c36] 51          push ecx       // push P
[00000c41][002117be][00000c46] e820fdffff  call 00000966  // call H(P,P)

Halting problem undecidability and infinitely nested simulation
May 2021 PL Olcott   See pages 4 and 5:

https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation

--
Copyright 2021 Pete Olcott "Great spirits have always encountered
violent opposition from mediocre minds." Einstein


1
rocksolid light 0.7.2
clearneti2ptor