Gödel’s Modernism

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

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

Categories

Keywords

Reprint years

ISBN(s)

00934240

DOI

10.5840/gfpj200425217

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,218

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2008 - In Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen, logicism, intuitionism, and formalism - What has become of them? Berlin, Germany: Springer.
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.
How Woodin changed his mind: new thoughts on the Continuum Hypothesis.Colin J. Rittberg - 2015 - Archive for History of Exact Sciences 69 (2):125-151.
Gödel Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton 1940, 66 pp. [REVIEW]Paul Bernays - 1941 - Journal of Symbolic Logic 6 (3):112-114.
On gödel's way in: The influence of Rudolf Carnap.Warren Goldfarb - 2005 - Bulletin of Symbolic Logic 11 (2):185-193.
Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness, Landmark Writings in Mathematics. North-Holland. pp. 917-925.
Gödel and set theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
Alexei Angelides, ed. Essays on the History of the Philosophy of Mathematics. Special issue of Graduate Faculty Philosophy Journal25 (2004), No. 2. New York: New School for Social Research. Pp. xvi + 349. [REVIEW][author unknown] - 2006 - Philosophia Mathematica 14 (1):130-131.
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer.M. Hartimo - 2016 - History and Philosophy of Logic 37 (3):297-299.

Analytics

Added to PP
2011-01-09

Downloads
71 (#317,121)

6 months
13 (#247,501)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juliette Kennedy
University of Helsinki

Citations of this work

On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson, Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.
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.
Epistemic optimism.Mihai Ganea - 2007 - Philosophia Mathematica 16 (3):333-353.

Add more citations

References found in this work

No references found.

Add more references