|Abstract||In the early 1920s, the German mathematician David Hilbert (1862-1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called "finitary" methods. The special epistemological character of finitary reasoning then yields the required justification of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory.|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Solomon Feferman (2008). Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program. Dialectica 62 (2: Table of Contents"/> Select):179–203.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Jeremy Avigad, “Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.
Paolo Mancosu (2003). The Russellian Influence on Hilbert and His School. Synthese 137 (1-2):59 - 101.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Added to index2009-01-28
Total downloads32 ( #38,026 of 551,054 )
Recent downloads (6 months)2 ( #37,370 of 551,054 )
How can I increase my downloads?