novaBBS - sci.math - My dishonest reviewers: André, Ben, Mike, Dennis, Richard V2

My dishonest reviewers: André, Ben, Mike, Dennis, Richard V2

<spmdnfXW2bK5fcf_nZ2dnUU7_83NnZ2d@giganews.com>

https://www.novabbs.com/tech/article-flat.php?id=97216&group=sci.math#97216

copy link Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Followup: comp.theory

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

by: olcott - Sat, 16 Apr 2022 15:26 UTC

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

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

Subject	Author
My dishonest reviewers: André, Ben, Mike, De	olcott

Line Printer paper is strongest at the perforations.

tech / sci.math / My dishonest reviewers: André, Ben, Mike, Dennis, Richard V2