Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Those who can, do; those who can't, simulate.


computers / comp.ai.philosophy / Refuting the Peter Linz Halting Problem Proof V9 [ correct halt deciding criteria ]

SubjectAuthor
o Refuting the Peter Linz Halting Problem Proof V9 [ correct haltolcott

1
Refuting the Peter Linz Halting Problem Proof V9 [ correct halt deciding criteria ]

<y-KdnUI8cpAYqtr_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=8292&group=comp.ai.philosophy#8292

 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!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 01 Apr 2022 12:33:56 -0500
Date: Fri, 1 Apr 2022 12:33:50 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.7.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: Refuting the Peter Linz Halting Problem Proof V9 [ correct halt
deciding criteria ]
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <y-KdnUI8cpAYqtr_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 49
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-gnWsYZp3UruYIIPW6Yz0Av07+DT6/Sx+bAweLhqZEXihV8KaRiIi7fYQ3ZH8jXvDE/gu0/DQBkEdyTd!bUnsrth526CurmIkru78W/KAvK3+LjS0K49wSB881ypigRfTYbW3ebJroUNdLeDx9aJeVtD+Pr33
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: 3209
 by: olcott - Fri, 1 Apr 2022 17:33 UTC

Proof that the embedded copy of Linz H in Linz Ĥ does correctly
determines the halt status of its input

CORRECT DEFINITION OF HALT DECIDING CRITERIA

(1) All deciders compute the mapping of their input finite strings to an
accept or reject state.

(2) The direct execution of a Turing machine is computationally
equivalent to the UTM simulation of its Turing machine description.

(3) Halt deciders compute the mapping of their input finite strings to
an accept or reject state on the basis of the actual behavior specified
by their input.

(4) The actual behavior specified by the input is measured by the
behavior of a UTM simulation of this input at the same point in the
execution trace as the simulating halt decider. (defined in (2) above)

Simplified Ĥ directly calls H --- infinite loop has been removed.
Ĥ.q0 ⟨Ĥ⟩ ⊢* H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy
Ĥ.q0 ⟨Ĥ⟩ ⊢* H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn

In other words every H remains in pure UTM mode until the outermost H
has complete proof that its simulated input would never reach its own
final state.

A simulating halt decider is in UTM mode while the behavior of its input
remains computationally equivalent to the behavior of this same input
when simulated by a UTM.

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

(6) A correct simulation of a Turing machine description that would
never reach its final state is computationally equivalent to the direct
execution of this same Turing machine never reaching its final state and
thus specifies a non-halting sequence of configurations.

Halting problem undecidability and infinitely nested simulation (V4)
https://www.researchgate.net/publication/359349179_Halting_problem_undecidability_and_infinitely_nested_simulation_V4

--
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
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor