Observations on the Halting Problem
Logic in Computer Science
2016-06-29 v1
Authors:
Eric C. R. Hehner
Abstract
The Halting Problem is ill-conceived and ill-defined.
Cite
@article{arxiv.1606.08703,
title = {Observations on the Halting Problem},
author = {Eric C. R. Hehner},
journal= {arXiv preprint arXiv:1606.08703},
year = {2016}
}
Comments
5 pages
Related papers
View all related →
Logic in Computer Science · Computer Science
The Halting Paradox
Bill Stoddart
2019-06-14
General Relativity and Quantum Cosmology · Physics
Comments on the Problem of Time
Hitoshi Kitada, Lancelot R. Fletcher
2008-02-03
Logic in Computer Science · Computer Science
How to Compute Halting
Eric C. R. Hehner
2016-06-29
Logic in Computer Science · Computer Science
Asymptotic Proportion of Hard Instances of the Halting Problem
Antti Valmari
2014-12-01
Logic in Computer Science · Computer Science
Epimenides, G\"odel, Turing: an Eternal G\"olden Tangle
Eric C. R. Hehner
2016-06-29
Quantum Physics · Physics
Unsolvability of the Halting Problem in Quantum Dynamics
Daegene Song
2009-11-13
History and Philosophy of Physics · Physics
Regarding the "Hole Argument"
James Owen Weatherall
2015-07-22
Optics · Physics
The indefinite metric problem revisited and chased away
A. B. van Oosten
2007-05-23
Logic in Computer Science · Computer Science
Autosolvability of halting problem instances for instruction sequences
J. A. Bergstra, C. A. Middelburg
2010-10-19
Logic · Mathematics
Generic algorithms for halting problem and optimal machines revisited
Laurent Bienvenu, Damien Desfontaines, Alexander Shen
2017-01-11
Popular Physics · Physics
Is the Interpretation of Delayed-Choice Experiments Misleading?
P. Roussel, I. Stefan
2007-06-19
Statistical Mechanics · Physics
Hong et al. reply to Walliser
Daniel C. Hong, Paul V. Quinn, Stefan Luding
2007-05-23
Quantum Physics · Physics
Comment on ``Experimental realization of Wheeler's delayed-choice GedankenExperiment''
Travis Norsen
2007-05-23
Fluid Dynamics · Physics
A resolution of the transition to turbulence paradox
Rouslan Krechetnikov, Jerrold E. Marsden
2008-07-25
Quantum Physics · Physics
Delayed choice without choice
M. Dugic
2012-11-08
Artificial Intelligence · Computer Science
On the Undecidability of Artificial Intelligence Alignment: Machines that Halt
Gabriel Adriano de Melo, Marcos Ricardo Omena De Albuquerque Maximo, Nei Yoshihiro Soma, Paulo Andre Lima de Castro
2024-08-20
Artificial Intelligence · Computer Science
Intuitions and the modelling of defeasible reasoning: some case studies
Henry Prakken
2007-05-23
Probability · Mathematics
A short proof and a generalization of the BKR-inequality
Martin Hutzenthaler
2008-07-28
Information Theory · Computer Science
Most Programs Stop Quickly or Never Halt
Cristian S. Calude, Michael A. Stay
2007-07-13
Quantum Physics · Physics
Bell inequalities with retarded settings
Lucien Hardy
2015-08-28
History and Philosophy of Physics · Physics
Single-particle entanglement and three forms of ambiguity
Robert Shaw
2019-12-25
Quantum Physics · Physics
What's wrong with this rebuttal?
A. F. Kracklauer
2015-06-26
Probability · Mathematics
Random Stopping Times in Stopping Problems and Stopping Games
Eilon Solan, Boris Tsirelson, Nicolas Vieille
2012-11-27
General Physics · Physics
A note on the possibility of incomplete theory
Han Geurdes, Koji Nagata, Tadao Nakamura, Ahmed Farouk
2021-11-16
Discrete Mathematics · Computer Science
A proof of the lonely runner conjecture
Oleksiy Kurganskyy
2017-12-15