Lieber Herr Bernays!, Lieber Herr gödel! Gödel on finitism, constructivity and Hilbert's program

Dialectica 62 (2):179–203 (2008)

This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/j.1746-8361.2008.01136.x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,711
Through your library

References found in this work BETA

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.

View all 30 references / Add more references

Citations of this work BETA

Husserl and Gödel’s Incompleteness Theorems.Mirja Hartimo - 2017 - Review of Symbolic Logic 10 (4):638-650.
Proof Theory in Philosophy of Mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.

Add more citations

Similar books and articles

The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
From Closed to Open Systems.Carlo Cellucci - 1993 - In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.


Added to PP index

Total views
101 ( #71,182 of 2,328,130 )

Recent downloads (6 months)
1 ( #950,624 of 2,328,130 )

How can I increase my downloads?


My notes

Sign in to use this feature