David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Vienna Circle Institute Yearbook 9:245-262 (2002)
Only recently has David Hilbert’s program to axiomatize the sciences according to the pattern of geometry left the shade of his formalist program in the foundations of mathematics.1 This relative neglect — which is surprising in view of the enormous efforts Hilbert himself had devoted to it — was certainly influenced by Logical Empiricists’ almost exclusively focusing on his contributions to the foundational debates. Ulrich Majer puts part of the blame for this neglect on Hilbert himself because “he failed to make his position sufficiently clear, and he did not take much effort to promote his views beyond the narrow circle of mathematical physics in Göttingen.”
|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
No citations found.
Similar books and articles
Ivahn Smadja (2012). Local Axioms in Disguise: Hilbert on Minkowski Diagrams. Synthese 186 (1):315-370.
Michael Stöltzner (2003). The Principle of Least Action as the Logical Empiricist's Shibboleth. Studies in History and Philosophy of Science Part B 34 (2):285-318.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland. 5--411.
M. Stoltzner (2003). The Principle of Least Action as the Logical Empiricist's Shibboleth. Studies in History and Philosophy of Science Part B 34 (2):285-318.
Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Richard Zach, Hilbert's Program. Stanford Encyclopedia of Philosophy.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Volker Peckhaus (2003). The Pragmatism of Hilbert's Programme. Synthese 137 (1-2):141 - 156.
Ansten Klev (2011). Dedekind and Hilbert on the Foundations of the Deductive Sciences. Review of Symbolic Logic 4 (4):645-681.
Added to index2009-01-28
Total downloads6 ( #292,803 of 1,696,590 )
Recent downloads (6 months)1 ( #346,744 of 1,696,590 )
How can I increase my downloads?