David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophy of Science 43 (1):99-115 (1976)
Hilbert's program attempts to show that our mathematical knowledge can be certain because we are able to know for certain the truths of elementary arithmetic. I argue that, in the absence of a theory of mathematical truth, Hilbert does not have a complete theory of our arithmetical knowledge. Further, while his deployment of a Kantian notion of intuition seems to promise an answer to scepticism, there is no way to complete Hilbert's epistemology which would answer to his avowed aims
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Alexander Paseau (2011). Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence. Studies in History and Philosophy of Science Part A 42 (1):140-149.
Sören Stenlund (2012). Different Senses of Finitude: An Inquiry Into Hilbert's Finitism. Synthese 185 (3):335-363.
Similar books and articles
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
William Demopoulos (1994). Frege, Hilbert, and the Conceptual Structure of Model Theory. History and Philosophy of Logic 15 (2):211-225.
Richard Zach, Hilbert's Program. Stanford Encyclopedia of Philosophy.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland. 5--411.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
C. S. Calude & G. J. Chaitin (1999). Randomness Everywhere. Nature 400:319-320.
Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Added to index2009-01-28
Total downloads20 ( #86,488 of 1,103,048 )
Recent downloads (6 months)2 ( #183,252 of 1,103,048 )
How can I increase my downloads?