On Computable Numbers, with an Application to the Entscheidungs problem (1936)

by A M Turing
Venue:Proceedings of the London Mathematical Society 2