Library Paper

On Computable Numbers, with an Application to the Entscheidungsproblem

Turing's 1936 paper defining the Turing machine and the limits of mechanical computation.

Type
Paper
Creator
Alan Turing
Year
1936
Subjects
Computation Number
PDF (University of Virginia)

Turing’s 1936 paper defining the Turing machine and proving the undecidability of the Entscheidungsproblem, founding theoretical computer science.