On Computable numbers with an application to the entsheidungsproblem (1936)

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