Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

There are new messages.


computers / comp.ai.philosophy / My_dishonest_reviewers:_André,_Ben,_Mike,_Dennis,_Richard_V2

SubjectAuthor
o My_dishonest_reviewers:_André,_Ben,_Mike,_Deolcott

1
Subject: My_dishonest_reviewers:_André,_Ben,_Mike,_Dennis,_Richard_V2
From: olcott
Newsgroups: comp.theory, comp.ai.philosophy, sci.logic, sci.math
Followup: comp.theory
Date: Sat, 16 Apr 2022 15:26 UTC
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 16 Apr 2022 10:26:28 -0500
Date: Sat, 16 Apr 2022 10:26:27 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Content-Language: en-US
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
Subject: My_dishonest_reviewers:_André,_Ben,_Mike,_De
nnis,_Richard_V2
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <spmdnfXW2bK5fcf_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 43
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-JdqkUYgC9HJbjMXQ7nmQwuZlRPtXMJIUL7IEiCvv3nurWhdPi+m9LltTCfH604oJQIv9UCD4UJsxP7M!6PYgnn31v/Y5tsT6cximYWfiOqba4hfnoAErwX/l/gfXp+2CaxoYRrqotqw8CkOpoIAxNWI5fq2B
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2837
View all headers
André Isaak, Ben Bacarisse, Mike Terry, Dennis Bush, Richard Damon all take the position against this tautology:

They all take the position that the fact that the input to H(P,P) is non-halting is not an entirely sufficient reason for H to report that its input is non-halting.

The simulated input to H(P,P) cannot possibly reach its own final state of [00000970] it keeps repeating [00000956] to [00000961] until aborted.

_P()
[00000956](01)  55              push ebp
[00000957](02)  8bec            mov ebp,esp
[00000959](03)  8b4508          mov eax,[ebp+08]
[0000095c](01)  50              push eax       // push P
[0000095d](03)  8b4d08          mov ecx,[ebp+08]
[00000960](01)  51              push ecx       // push P
[00000961](05)  e8c0feffff      call 00000826  // call H(P,P)
The above keeps repeating until aborted

[00000966](03)  83c408          add esp,+08
[00000969](02)  85c0            test eax,eax
[0000096b](02)  7402            jz 0000096f
[0000096d](02)  ebfe            jmp 0000096d
[0000096f](01)  5d              pop ebp
[00000970](01)  c3              ret            // final state.
Size in bytes:(0027) [00000970]

computation that halts … the Turing machine will halt whenever it enters a final state. (Linz:1990:234)



Halting problem undecidability and infinitely nested simulation (V5)

https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer


1
rocksolid light 0.7.2
clearneti2ptor