Gödel's program revisited part I: The turn to phenomenology

Bulletin of Symbolic Logic 12 (4):529-590 (2006)
  Copy   BIBTEX


Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library

Similar books and articles

Kurt Godel and phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.
Gödel and the intuition of concepts.Richard Tieszen - 2002 - Synthese 133 (3):363 - 391.
Gödel and 'the objective existence' of mathematical objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.
Was gödel a gödelian platonist?Michael Potter - 2001 - Philosophia Mathematica 9 (3):331-346.


Added to PP

200 (#100,944)

6 months
15 (#171,899)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Kritik der reinen Vernunft.Immanuel Kant - 2020 - Walter de Gruyter GmbH & Co KG.
Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.
An Essay Concerning Human Understanding.John Locke - 1979 - Revue Philosophique de la France Et de l'Etranger 169 (2):221-222.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.

View all 30 references / Add more references