Philosophia Mathematica Advance Access originally published online on January 9, 2006
Philosophia Mathematica 2006 14(2):255-261; doi:10.1093/philmat/nkj006
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Two Draft Letters from Gödel on Self-knowledge of Reason
* IHPST (Paris 1/CNRS/ENS) 13 rue du Four, F-75006 Paris, France. Mark.vanAtten{at}univ-paris1.fr
In his text The modern development of the foundations of mathematics in the light of philosophy from around 1961, Gödel announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Gödel's archive there are two draft letters that shed some further light on the exact strategy that he formulated for himself in the early 1960s. Transcriptions of these letters are presented, together with some comments.