Hilbert's Program Revisited

Synthese 137 (1-2):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

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 Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.
Husserl and Hilbert on completeness.Ulrich Majer - 1997 - Synthese 110 (1):37-56.
Problems and riddles: Hilbert and the du Bois-reymonds.D. C. Mc Carty - 2005 - Synthese 147 (1):63-79.
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.
Reflections On Frege And Hilbert.Bernd Buldt, Volker Halbach & Reinhard Kahle - 2005 - Synthese 147 (1):1-2.
Simplicity and incompleteness.Panu Raatikainen - 1998 - Synthese 116 (3):357-364.
Kuhnian Revolutions Revisited.K. Brad Wray - 2007 - Synthese 158 (1):61-73.
Formalization of Hilbert's geometry of incidence and parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
Formalization of Hilbert's geometry of incidence and parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.
Frege’s permutation argument revisited.Kai Frederick Wehmeier & Peter Schroeder-Heister - 2005 - Synthese 147 (1):43-61.
Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
Introduction: Structuralism as a program for modelling theoretical science.C. Ulises Moulines - 2002 - Synthese 130 (1):1-11.

Analytics

Added to PP
2009-01-28

Downloads
981 (#13,348)

6 months
120 (#29,523)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Panu Raatikainen
Tampere University

Citations of this work

Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. 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.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.

View all 39 references / Add more references