Gödel's dialectica interpretation and Leibniz

pp. 65-74

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

Abstract

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.