Collections | Livre | Chapitre
Gödel's dialectica interpretation and Leibniz
pp. 65-74
Résumé
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.
Détails de la publication
Publié dans:
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
Citation complète:
Van Atten Mark, 2015, Gödel's dialectica interpretation and Leibniz. In M. Van Atten Essays on Gödel's reception of Leibniz, Husserl and Brouwer (65-74). Dordrecht, Springer.