On arithmetical first-order theories allowing encoding and decoding of lists

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

An Unsolvable Problem of Elementary Number Theory

Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations

Natural Sciences, Computer Science, Mathematics +11

Logic, Semantics, Metamathematics.

A. R. Turquette, Alfred Tarski, J. H. Woodger · The Philosophical Review · 1958 · 814 citations

Humanities, Mathematics, Philosophy +15

Logic, Semantics, Metamathematics.

L. Jonathan Cohen, Alfred Tarski, J. H. Woodger · The Philosophical Quarterly · 1958 · 802 citations

Humanities, Mathematics, Philosophy +15

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

Calvin C. Elgot, Martin Davis · Mathematics of Computation · 1966 · 329 citations

Computing, Computer Science, Algorithms +16