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)|
References found in this work BETA
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - Oxford University Press.
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Tait - 2005 - Oup Usa.
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.
Citations of this work BETA
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 - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 5--411.
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.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.R. G. Jeroslow - 1973 - Journal of Symbolic Logic 38 (3):359-367.
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
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.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge University Press.
Added to index2009-01-28
Total downloads77 ( #67,118 of 2,158,277 )
Recent downloads (6 months)3 ( #133,489 of 2,158,277 )
How can I increase my downloads?