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.

	Keyword	Results for this URL	Total searches