References in:

Turing's thesis

You must login to add references.

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details Areas of Mathematics in Philosophy of Mathematics Computability in Philosophy of Computing and Information Direct download Export citation Bookmark 700 citations
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 105 citations
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details Logic and Philosophy of Logic Number Theory in Philosophy of Mathematics Direct download Export citation Bookmark 173 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...