Repository | Series | Book | Chapter
Gödel's dialectica interpretation and Leibniz
pp. 65-74
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.
Publication details
Published in:
Van Atten Mark (2015) Essays on Gödel's reception of Leibniz, Husserl and Brouwer. Dordrecht, Springer.
Pages: 65-74
DOI: 10.1007/978-3-319-10031-9_4
Full citation:
Van Atten Mark (2015) Gödel's dialectica interpretation and Leibniz, In: Essays on Gödel's reception of Leibniz, Husserl and Brouwer, Dordrecht, Springer, 65–74.