Did Turing prove the undecidability of the halting problem?

Joel David Hamkins O’Hara Professor of Logic, Department of Philosophy, University of Notre Dame, 100 Malloy Hall, Notre Dame, IN 46556 USA & VRF, Mathematical Institute, University of Oxford, UK jdhamkins@nd.edu http://jdh.hamkins.org and Theodor Nenu Lecturer in Philosophy, Worcester College, University of Oxford, OX1 2HB, United Kingdom theodor.nenu@philosophy.ox.ac.uk https://www.philosophy.ox.ac.uk/people/theodor-nenu

Commentary can be made about this article on the first author’s blog at \hrefhttps://jdh.hamkins.org/turing-halting-problemhttps://jdh.hamkins.org/turing-halting-problem. The second author would like to thank Peter Millican for many fruitful conversations on Alan Turing’s work over the years, and for sparking his initial interest in the titular question.

\addbibresource

local,HamkinsBiblio,MathBiblio,PhilBiblio,WebPosts \renewbibmacroin: