Two draft letters from Gödel on self-knowledge of reason

Mark van Atten (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

In his text 'The modern development of the foundations of mathematics in the light of philosophy' from around 1961, Go¨del announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Go¨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.

Mots clés: philosophy of science

Domaines: Histoire, Philosophie et Sociologie des sciences

Mark van Atten. Two draft letters from Gödel on self-knowledge of reason. Philosophia Mathematica, 2006, 14 (2), pp.255-261. ⟨10.1093/philmat/nkj006⟩. ⟨halshs-00790933⟩