- On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
(1 other version)A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.details
|
|
(1 other version)The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.details
|
|
Some Definitional Suggestions for Automata Theory.Dana Scott - 1975 - Journal of Symbolic Logic 40 (4):615-616.details
|
|
Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1990 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.details
|
|
Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 71--117.details
|
|
On the Foundations of Logic and Arithmetic.David Hilbert - 1905 - The Monist 15 (3):338-352.details
|
|
The Foundations of Mathematics.David Hilbert - 1927 - In ¸ Itevanheijenoort1967. Harvard University Press.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Some Remarks on the Undecidability Results.Kurt Gödel - 1990 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 305--306.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
Recipes, algorithms, and programs.Carol E. Cleland - 2001 - Minds and Machines 11 (2):219-237.details
|
|
Effective procedures and computable functions.Carole E. Cleland - 1995 - Minds and Machines 5 (1):9-23.details
|
|