Hilbert's program then and now
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesSolomon 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.
Yingrui Yang & Selmer Bringsjord (2003). Newell's Program, Like Hilbert's, is Dead; Let's Move On. Behavioral and Brain Sciences 26 (5):627-627.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads36 ( #33,057 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |
My notes
Discussion
