About On Computable Numbers with an Application to the Entscheidungsproblem
On Computable Numbers with an Application to the Entscheidungsproblem- Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML.
