On Computable Numbers, with an Application to the Entscheidungsproblem

Redirect to:

  • Turing's proof