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

pp. 157-162

in: Mark Van Atten, Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Berlin, Springer, 2015

Abstract

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.