Gödel’s Program revisited, Part I: the turn to phenomenology
Hauser, Kai
Bull. Symbolic Logic, Tome 12 (2006) no. 3, p. 529-590 / Harvested from Project Euclid
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.
Publié le : 2006-12-14
Classification: 
@article{1164056807,
     author = {Hauser, Kai},
     title = {G\"odel's Program revisited, Part I: the turn to phenomenology},
     journal = {Bull. Symbolic Logic},
     volume = {12},
     number = {3},
     year = {2006},
     pages = { 529-590},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1164056807}
}
Hauser, Kai. Gödel’s Program revisited, Part I: the turn to phenomenology. Bull. Symbolic Logic, Tome 12 (2006) no. 3, pp.  529-590. http://gdmltest.u-ga.fr/item/1164056807/