A Basis for a Mathematical Theory of Computation)

On Computable Numbers, with an Application to the Entscheidungsproblem

1937 • 7,411 citations

Recursive functions of symbolic expressions and their computation by machine, Part I

1960 • 1,326 citations

The calculi of lambda-conversion

1941 • 1,213 citations

Computability and Unsolvability.

1959 • 1,024 citations

Programs with common sense

1960 • 841 citations

Introduction to mathematical logic

1957 • 536 citations

Report on the algorithmic language ALGOL 60

1960 • 489 citations

Recursive predicates and quantifiers

1943 • 342 citations

Report on the Algorithmic Language ALGOL 60

1961 • 124 citations

A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.

1937 • 75 citations

Letters to the editor

1959 • 3 citations