Showing 1–1 of 1 results for author: Nenu, T

Did Turing prove the undecidability of the halting problem?

Authors: Joel David Hamkins, Theodor Nenu

Abstract: We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced conclusion. We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced conclusion. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 18 pages. Commentary may be made on the first author's blog at https://jdh.hamkins.org/turing-halting-problem