Abstract
Hilbert’s work on logic and proof theory—among the latest stages in his long and fruitful scientific career—appeared almost two decades after the publication of the epoch-making Grundlagen der Geometrie. In spite of the time span separating these two phases of his intellectual development, and given the centrality of the axiomatic approach to both, one might tend to consider the two as different manifestations of one and the same underlying conception. In particular, one runs the risk of examining the Grundlagen as an early expression of the ideas developed in Hilbert’s work on proof theory. A close historical examination of these works, however, brings to light important differences between them.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Davis B., Hughes, R.I.G. and Nordmann, A. (eds.), (1998). Heinrich Hertz: Classical Physicist, Modern Philosopher. Dordrecht: Kluwer (Forthcoming).
Barbour, J., (1989). Absolute or Relative Motion. A Study from a Machian Point of View of the Discovery and the Structure of Dynamical Theories. Cambridge: Cambridge University Press.
Boltzman, L., (1897). Vorlesungen über die Principien der Mechanik. Leipzig: Verlag von Ambrosius Barth.
Boos, W., (1995). “`The True’ in Gottlob Frege’s Ober die Grundlagen die Geometrie”. Arch. Hi..st. Ex. Sci., 34: 141–192.
Contro, W., (1976). “Von Pasch bis Hilbert”. Arch. Hist. Ex. Sci., 15: 283–295.
Corry, L., (1996). Modern Algebra and the Rise of Mathematical Structures. Boston and Basel: Birkhäuser.
Corry, L., (1997). “David Hilbert and the Axiomatizat.ion of Physics (1894–1905)”. Arch. Hist. Ex. Sci., 51: 83–198.
Disalle, R., (1993). “Carl Gottfried Neumann”. Science in Context, 6: 345–354.
“Zur Geschichte der Grundlagen der Geometrie. Zugleich eine Bespreschung der 8. Auflage von
Hilbert’s Grundlagen der Geometrie“. Nieuw Archief voor Wiskunde,4: 105–142.
Gabriel, G. et al. (eds.), (1976). Gottlob Frege - Wis-senschaftlische Briefwechsel. Hamburg: Felix Meiner.
Gabriel, G. et al. (eds.), (1976). Gottlob Frege - Philosophical and Mathematical Correspondence. Chicago: The University of Chicago Press. (Abridged from the German edition by Brian McGuiness and translated by Hans Kaal).
Hertz, H., (1956). The Principles of Mechanics Presented in a New Form. New York: Dover (English translation of Die Prinzipien der Mechanik in neuem Zusammenhange dargestellt. Leipzig (1894)).
Hilbert, D., (1932–35).Gesammelte Abhandlungen, 3 vols. Berlin: Springer (2d ed. 1970 ).
Hilbert, D., (1893–94).Die Grundlagen. der Geometrie. SUB Göttingen, Cod Ms. D. Hilbert. 541.
Hilbert, D.,(1899).Grundlagen der Geometrie (Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in. Göttingen). Leipzig: Teubner.
Hilbert, D., (1901). “Mathematische Probleme”, Archiv f. Math. u. Phys., 1: 213–237. (Also in [Hilbert 1932–35] Vol. 3: 290–329.)
Hilbert, D., (1902). “Mathematical Problems”, Bull. AMS, 8: 437–479. (English transi. by M.W. Newson of [Hilbert 1901].)
Hilbert, D., (1909). “Hermann Minkowski”, Gütt. Nach. (1909): 72–101. (Repr. in Math. Ann. (1910) 68: 445–471.)
Huntington, E.V. (1902). “Simplified Definition of a Group”, Bull. AMS, 8: 296–300.
Jungnickel, C. and McCormmach, R., (1986). Intellectual Mas-tery of Nature - Theoretical Physics form. Ohm to Einstein, 2 Vols. Chicago: Chicago University Press.
Lützen, J., (1995). “Renouncing Forces; Geontet.rizing Mechan-ics - Hertz’s Principles of Mechanics”, University of Copenhagen, Preprint.
Mehrtens, H., (1990). Moderne - Sprache - Mathematik. Frank-furt: Suhrkamp.
Moore, E. H., (1902). “Projective Axioms of Geometry”, Trans. AMS, 3: 142–158.
Moore, E. H., (1902a). “A Definition of Abstract Groups”, Trans. AMS, 3: 485–492.
Neumann, C. G., (1870). Über die Prin.cipi.en. (Jct. Galilei-Newton.’schen Theorie. Leipzig: Teubner.
Neumann, C. G., (1993). “On the Principles of the Galilean-Newtonian” (English translation by Gideon Freudentlial of [Neumann 1870]), Science in. Context, 6: 355–368.
Olesko, K. M., (1991). Physics as a Calling. Discipline and Practice in the Kön.igsberq Seminar for Physics. Ithaca: Cornell University Press.
Pasch, M., (1882). Vorlesungen über neuere Geometric. Leipzig: Teubner.
Peckhaus, V., (1990). Hi.lber•tprogrammn.. und Kritische Philoso-phic. Der Göttinger Modell i.n.ter•diszipli.n.rirer• Zusammenarbeit zwischen Mathematik und Philosophie. Göttingen: Vandenhoeck it Ruprecht.
Ramser, L., (1974). “Paul Oskar Eduard Volkmann”, DSB, 14: 67–68.
Resnik, M., (1974). “The Frege-Hilbert Controversy”, Philoso-phy and Phenomenological Research, 34: 386–403.
Rudenberg, L. and H. Zassenhaus (ads.), (1973). Hermann Minkowski - Briefe an David Hilbert. Berlin/New York: Springer.
Schmidt, E., (1933). “Zu Hilberts Grundlegung der Geome-trie”, in Hilbert’s Gesammelte Abhandlungen, Vol. 2, 404–414.
Schur, F., (1901). “Über die Grundlagen der Geometrie”, Math. Ann., 55: 265–292.
Tobies, R. and Rowe, D.E., (eds.), (1990). Korrespondenz Fe-lix Klein-Adolph Mayer. Auswahl aus den Jahren 1871–1907. Leipzig: Teubner.
Toepell, M. M., (1986). Über die Entstehung von David Hil-berts “Grundlagen der Geometrie”. Göttingen: Vandenhoeck und Ruprecht.
Torretti, R., (1978). Philosophy of Geometry from Riemann to Poincaré. Dordrecht: Reidel.
Volkmann, P., (1892). “Über Gesetze und Aufgaben der Natur-wissenschaften, insbesondere der Physik in formalen Hinsicht”. Himmel und Erde, 4: 441–461.
Volkmann, P., (1894). “Hat die Physik Axiome?”, Schriften der physikalisch-ökonomischen Gesellschaft zu Königsberg, 35: 13–22.
Volkmann, P., (1900). Einführung in das Studium der theo-retischen Physik, insbesondere das der analytischen Mechanik mit einer Einleitung in die Theorie der Physikalischen Erken.tniss. Teubner: Leipzig.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Corry, L. (2000). The Empiricist Roots of Hilbert’s Axiomatic Approach. In: Hendricks, V.F., Pedersen, S.A., Jørgensen, K.F. (eds) Proof Theory. Synthese Library, vol 292. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2796-9_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-2796-9_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5553-8
Online ISBN: 978-94-017-2796-9
eBook Packages: Springer Book Archive