Halting problem undecidability and infinitely nested simulation (V3)

Abstract

By making a slight refinement to the halt status criterion measure that remains consistent with the original a halt decider may be defined that correctly determines the halt status of the conventional halting problem proof counter-examples. This refinement overcomes the pathological self-reference issue that previously prevented halting decidability.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Halting problem undecidability and infinitely nested simulation.P. Olcott - manuscript
Halting problem undecidability and infinitely nested simulation (V2).P. Olcott - manuscript
Defining a Halting Decidability Decider.P. Olcott - manuscript
Halting Problem Proof from Finite Strings to Final States.P. Olcott - manuscript
Defining a Decidability Decider for the Halting Problem.P. Olcott - manuscript
Quantum hypercomputability?Amit Hagar & Alexandre Korolev - 2006 - Minds and Machines 16 (1):87-93.
The Halting Problem Is Decidable on a Set of Asymptotic Probability One.Joel David Hamkins & Alexei Miasnikov - 2006 - Notre Dame Journal of Formal Logic 47 (4):515-524.
A mechanical proof of the unsolvability of the halting problem.Robert Boyer - unknown
Algorithmic information theory and undecidability.Panu Raatikainen - 2000 - Synthese 123 (2):217-225.
Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.
Busy beaver competition and Collatz-like problems.Pascal Michel - 1993 - Archive for Mathematical Logic 32 (5):351-367.
Dilemmas of Ambiguity and Vagueness.Leon Felkins - 1996
Equivalence of the Frame and Halting Problems.Eric Dietrich & Chris Fields - 2020 - Algorithms 13 (175):1-9.
Setting the scene: The claim and the issues.Roger Penrose - 1993 - In Donald Eric Broadbent (ed.), The Simulation of human intelligence. Cambridge: Blackwell.
Effective inseparability in a topological setting.Dieter Spreen - 1996 - Annals of Pure and Applied Logic 80 (3):257-275.

Analytics

Added to PP
2022-01-21

Downloads
339 (#60,827)

6 months
113 (#38,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references