In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447 (2007)

Authors
Richard Zach
University of Calgary
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 (categorize this paper)
Reprint years 2005, 2007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.
Partial Realizations of Hilbert's Program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.

View all 59 references / Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
161 ( #56,030 of 2,348,599 )

Recent downloads (6 months)
9 ( #72,153 of 2,348,599 )

How can I increase my downloads?

Downloads

My notes