Hilbert's program then and now

In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447 (2007)
Download Edit this record How to cite View on PhilPapers
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
No keywords specified (fix it)
Reprint years
2005, 2007
PhilPapers/Archive ID
Upload history
Archival date: 2017-09-26
View other versions
Added to PP index

Total views
159 ( #27,101 of 52,953 )

Recent downloads (6 months)
11 ( #41,340 of 52,953 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.