Repository | Book | Chapter

(2015) Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Dordrecht, Springer.
In an envelope of material relating to his work on the translation and revision of the Dialectica paper in 1968, Gödel kept a note that is in shorthand but in which one immediately notices the longhand name "Leibniz'. When transcribed and put into context, the note allows one to show that Leibniz was a source of inspiration for Gödel's revision of the Dialectica Interpretation.
Publication details
DOI: 10.1007/978-3-319-10031-9_4
Full citation:
Van Atten, M. (2015). Gödel's dialectica interpretation and Leibniz, in Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Dordrecht, Springer, pp. 65-74.
This document is unfortunately not available for download at the moment.