Graduate Faculty Philosophy Journal 25 (2):289-349 (2004)
AbstractOn Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness
Added to PP
Historical graph of downloads
References found in this work
No references found.
Citations of this work
On the Question of Absolute Undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Philosophia Mathematica. Association for Symbolic Logic. pp. 153-188.
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
Similar books and articles
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2009 - In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Gödel's Incompleteness Theorems and Computer Science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
Arithmetic and Logic Incompleteness: The Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
On an Alleged Refutation of Hilbert's Program Using Gödel's First Incompleteness Theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
A Note On Interaction And Incompleteness.Damjan Bojadžiev - 2003 - Logic Journal of the IGPL 11 (5):513-523.
Incompleteness, Complexity, Randomness and Beyond.Cristian S. Calude - 2002 - Minds and Machines 12 (4):503-517.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.