In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 5--411 (2006)
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
Similar books and articles
“Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.Jeremy Avigad - manuscript
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program.Solomon Feferman - 2008 - Dialectica 62 (2: Table of Contents"/> Select):179–203.
Newell's Program, Like Hilbert's, is Dead; Let's Move On.Yingrui Yang & Selmer Bringsjord - 2003 - Behavioral and Brain Sciences 26 (5):627-627.
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stöltzner - 2002 - Vienna Circle Institute Yearbook 9:245-262.
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Added to index2009-01-28
Total downloads80 ( #63,628 of 2,154,135 )
Recent downloads (6 months)4 ( #184,428 of 2,154,135 )
How can I increase my downloads?