Graduate Faculty Philosophy Journal 25 (2):289-349 (2004)

Abstract
On 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
Keywords Contemporary Philosophy  Continental Philosophy  History of Philosophy
Categories (categorize this paper)
ISBN(s) 0093-4240
DOI gfpj200425217
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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.
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.
Gödel and Set Theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.
What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.

View all 6 citations / Add more citations

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.
A Note On Interaction And Incompleteness.Damjan Bojadžiev - 2003 - Logic Journal of the IGPL 11 (5):513-523.
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.

Analytics

Added to PP index
2013-03-03

Total views
40 ( #285,832 of 2,520,399 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,399 )

How can I increase my downloads?

Downloads

My notes