Library SARC Research Paper

On Computable Numbers, with an Application to the Entscheidungsproblem

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

A page of Turing's paper showing abbreviated machine tables for copying and replacing symbols on the tape
Alan Turing, from the original 1936 paper
Collections
SARC Research
Type
Paper
Creator
Alan Turing
Year
1936
Subjects
Computation Number
PDF

Turing’s 1936 paper defining the Turing machine and proving the undecidability of the Entscheidungsproblem — the decision problem posed by David Hilbert and Wilhelm Ackermann in 1928 — founding theoretical computer science.