David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Dialectica 62 (2: Table of Contents"/> Select):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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
Jean Van Heijenoort (ed.) (1967). From Frege to Gödel. Cambridge, Harvard University Press.
William Tait (2005). The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History. OUP Usa.
Gerhard Gentzen (1969). The Collected Papers of Gerhard Gentzen. Amsterdam, North-Holland Pub. Co..
W. W. Tait (1981). Finitism. Journal of Philosophy 78 (9):524-546.
Citations of this work BETA
Andrew Arana (2010). Proof Theory in Philosophy of Mathematics. Philosophy Compass 5 (4):336-347.
Similar books and articles
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Richard Zach, Hilbert's Program. Stanford Encyclopedia of Philosophy.
W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
R. G. Jeroslow (1973). Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 38 (3):359-367.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
John W. Dawson (1984). The Reception of Godel's Incompleteness Theorems. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland 5--411.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
Added to index2009-01-28
Total downloads69 ( #65,132 of 1,934,364 )
Recent downloads (6 months)6 ( #91,777 of 1,934,364 )
How can I increase my downloads?