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.
CITATION STYLE
van Atten, M. (2015). Gödel’s Dialectica Interpretation and Leibniz. In Logic, Epistemology, and the Unity of Science (Vol. 35, pp. 65–74). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-319-10031-9_4
Mendeley helps you to discover research relevant for your work.