- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
(1 other version)God, the Devil, and Gödel.Paul Benacerraf - 1967 - The Monist 51 (1):9-32.details
|
|
A note on syntactical treatments of modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.details
|
|
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
Hilbert's program then and now.Richard Zach - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 411–447.details
|
|
Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.details
|
|
(1 other version)Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|
On the Anti-Mechanist Arguments Based on Gödel’s Theorem.Stanisław Krajewski - 2020 - Studia Semiotyczne 34 (1):9-56.details
|
|
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - 2021 - Review of Symbolic Logic 14 (1):51-84.details
|
|
On the Question of Whether the Mind Can Be Mechanized, I: From Gödel to Penrose.Peter Koellner - 2018 - Journal of Philosophy 115 (7):337-360.details
|
|
(1 other version)Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
(1 other version)God, the Devil, and Gödel.Paul Benacerraf - 2003 - Etica E Politica 5 (1):1-15.details
|
|
Knowledge, Machines, and the Consistency of Reinhardt's Strong Mechanistic Thesis.Timothy J. Carlson - 2000 - Annals of Pure and Applied Logic 105 (1--3):51--82.details
|
|
Godel's Disjunction: The Scope and Limits of Mathematical Knowledge.Leon Horsten & Philip Welch (eds.) - 2016 - Oxford, England: Oxford University Press UK.details
|
|
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.details
|
|
(2 other versions)An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Minds, Machines, And Mathematics A Review of Shadows of the Mind by Roger Penrose. [REVIEW]David J. Chalmers - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:11-20.details
|
|
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
(5 other versions)Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan. pp. 263--299.details
|
|
Godel, the Mind, and the Laws of Physics.Roger Penrose - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 339.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details
|
|
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.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
|
|
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.details
|
|
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.Roger Penrose - 1999 - Oxford University Press.details
|
|
On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.details
|
|
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.details
|
|
Epistemic theories and the interpretation of gödel's incompleteness theorems.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (4):427--74.details
|
|
Absolute versions of incompleteness theorems.William N. Reinhardt - 1985 - Noûs 19 (3):317-346.details
|
|
Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.details
|
|
Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.details
|
|
Remarks on Penrose’s “New Argument”.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):231-237.details
|
|
Collected Works: Volume Iii: Unpublished Essays and Lectures Vol. 3.Kurt Gödel - 1986 - Oxford, England and New York, NY, USA: Oxford University Press. Edited by Solomon Feferman.details
|
|
(1 other version)Gödel's Proof.Ernest Nagel & James R. Newman - 1958 - Les Etudes Philosophiques 15 (2):294-295.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
A Logical Journey. From Gödel to Philosophy.Hao Wang - 1998 - Philosophy 73 (285):495-504.details
|
|
An Introduction to Gödel's Theorems.Peter Smith - 2009 - Bulletin of Symbolic Logic 15 (2):218-222.details
|
|
Godel's Proof.Ernest Nagel & James Roy Newman - 1958 - New York, NY, USA: Routledge. Edited by James Roy Newman.details
|
|
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.details
|
|
(1 other version)Minds, Machines, and Gödel: A Retrospect.J. R. Lucas - 1996 - In Raffaela Giovagnoli (ed.), Etica E Politica. Clarendon Press. pp. 1.details
|
|
(1 other version)Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
What Godel's Incompleteness Result Does and Does Not Show.Haim Gaifman - 2000 - Journal of Philosophy 97 (8):462.details
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|