- Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.details
|
|
Minds, Machines, and Gödel: A Retrospect.J. R. Lucas - 1996 - In Raffaela Giovagnoli (ed.), Etica E Politica. Clarendon Press. pp. 1.details
|
|
Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.details
|
|
Godel's Proof.Ernest Nagel & James R. Newman - 1958 - New York, NY, USA: Routledge. Edited by James R. Newman.details
|
|
Intuitionists are not (turing) machines.Crispin Wright - 1995 - Philosophia Mathematica 3 (1):86-102.details
|
|
On Turing machines knowing their own gödel-sentences.Neil Tennant - 2001 - Philosophia Mathematica 9 (1):72-79.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.details
|
|
Absolute versions of incompleteness theorems.William N. Reinhardt - 1985 - Noûs 19 (3):317-346.details
|
|
Algorithmic information theory and undecidability.Panu Raatikainen - 2000 - Synthese 123 (2):217-225.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|
Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.details
|
|
A note on applicability of the incompleteness theorem to human mind.Pavel Pudlák - 1999 - Annals of Pure and Applied Logic 96 (1-3):335-342.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
On understanding understanding.Roger Penrose - 1997 - International Studies in the Philosophy of Science 11 (1):7 – 20.details
|
|
Logicism revisited.Alan Musgrave - 1977 - British Journal for the Philosophy of Science 28 (2):99-127.details
|
|
Can a Turing Machine Know That the Gödel Sentence is True?Storrs McCall - 1999 - Journal of Philosophy 96 (10):525-532.details
|
|
Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
The unfolding of non-finitist arithmetic.Solomon Feferman & Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):75-96.details
|
|
Wright on the non-mechanizability of intuitionist reasoning.Michael Detlefsen - 1995 - Philosophia Mathematica 3 (1):103-119.details
|
|
Is mathematical insight algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.details
|
|
Gödel, Carnap and the Fregean heritage.Gabriella Crocco - 2003 - Synthese 137 (1-2):21 - 41.details
|
|
On alleged refutations of mechanism using Godel's incompleteness results.Charles S. Chihara - 1972 - Journal of Philosophy 69 (September):507-26.details
|
|
On “seeing” the truth of the Gödel sentence.George Boolos - 1990 - Behavioral and Brain Sciences 13 (4):655-656.details
|
|
The web of belief.W. V. Quine & J. S. Ullian - 1970 - New York,: Random House. Edited by J. S. Ullian.details
|
|
The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.details
|
|
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.details
|
|
The Philosophical Significance of Gödel's Theorem.Michael Dummett - 1963 - In Michael Dummett & Philip Tartaglia (eds.), Ratio. Duckworth. pp. 186--214.details
|
|
God, the Devil, and Gödel.Paul Benacerraf - 2003 - Etica E Politica 5 (1):1-15.details
|
|
The Mind of God.Paul Davies - 1994 - Science and Society 58 (2):233-237.details
|
|
Carnap and the Philosophy of Mathematics.Warren Goldfarb & Thomas Ricketts - 1996 - In Sahotra Sarkar (ed.), Logical Empiricism at its Peak: Schlick, Carnap, and Neurath. Garland. pp. 337 - 354.details
|
|
What is Mathematical Truth?Hilary Putnam - 1975 - In Mathematics, Matter and Method. Cambridge University Press. pp. 60--78.details
|
|
Introductory Note to *1953/9.Warren Goldfarb - 1995 - In K. Gödel Collected Works. Oxford University Press: Oxford. pp. 324--333.details
|
|