Back to canon

On Computable Numbers

On Computable Numbers, with an Application to the Entscheidungsproblem

papers articles scientific paper paper core planned

Creators

  • Alan Turing, author

Canon Rationale

A core theoretical computer science and mathematical logic paper, included as a selected technical reading for its role in computability, the Entscheidungsproblem, and the conceptual origin of the Turing machine.

Evidence

  • citation context: Alan M. Turing, 'On Computable Numbers, with an Application to the Entscheidungsproblem,' Proceedings of the London Mathematical Society, 1936.
  • handbook: Stanford Encyclopedia of Philosophy, 'Turing Machines'.
  • museum record: The Turing Digital Archive, 'AMT/B/12'.

Audit Flags

epistemic status required

Completion unit: read selected core sections of the paper, with the most technical proof material treated as guided reading rather than a required line-by-line proof exercise.

Reading Lists