Repository | Book | Chapter

Gödel's dialectica interpretation and Leibniz

Mark Van Atten

pp. 65-74

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.