On Computable Numbers, with an Application to the Entscheidungsproblem
Redirect to:
Turing's proof