Hilbert's Program Revisited

Synthese 137 (1):157-177 (2003)
  Copy   BIBTEX

Abstract

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1026287119565

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The autonomy of mathematical knowledge: Hilbert's program revisited.Curtis Franks - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.
Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - New York: Cambridge University Press.
Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisited. Cambridge University Press, Cambridge, 2009, 213 pp. [REVIEW]Juliette Kennedy - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program.Ryota Akiyoshi - 2009 - Annals of the Japan Association for Philosophy of Science 17:13-29.
Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach - 2004 - Philosophiques 31 (1):221-224.
On an alleged refutation of Hilbert's program using Gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343-377.
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1):59 - 101.
Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.

Analytics

Added to PP
2009-01-28

Downloads
1,915 (#16,844)

6 months
368 (#15,760)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Panu Raatikainen
Panu Raatikainen
Tampere University

Citations of this work

Hilbert's program then and now.Richard Zach - 2002 - In Dale Jacquette, Philosophy of Logic. Malden, Mass.: North Holland. pp. 411–447.
The Bernays-Müller Debate.Günther Eder - 2023 - Hopos: The Journal of the International Society for the History of Philosophy of Science 13 (2):317-361.

View all 7 citations / Add more citations

References found in this work

S. - 2008 - In A. P. Martinich, A Hobbes Dictionary. Wiley-Blackwell. pp. 269-298.
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.

View all 48 references / Add more references