On computable numbers, with an application to the Entscheidungsproblem (1936)

by Alan Turing
Venue:Proceedings of the London Mathematical Society