Skip to main content

Hilbert and the internal logic of mathematics

Abstract

Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.

While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.

Hilbert's rare admission of a Kroneckerian influence does not constitute the basis of such a reconstruction; it is rather Kronecker's mathematical practice which is seen as a forerunner of Hilbert's endeavour in the foundations of mathematics.

This is a preview of subscription content, access via your institution.

References

  • Gauthier, Y.: 1988, ‘Constructivity and the Internal Logic of Mathematics’, in W. Deppert et al. (eds.),Exact Sciences and their Philosophical Foundations. Vorträge des Internationalen Hermann Weyl-Kongresses, Kiel, 1985, Verlag Peter Lang, Frankfurt am Main, pp. 311–23.

    Google Scholar 

  • Gauthier, Y.: 1989, ‘Finite Arithmetic with Infinite Descent’,Dialectica 43, 329–37.

    Google Scholar 

  • Gauthier, Y.: 1991,La logique interne, Vrin, Paris.

    Google Scholar 

  • Hilbert, D.: 1925 ‘Über das Unendliche’,Mathematische Annalen 96, 161–90.

    Google Scholar 

  • Hilbert, D.: 1929, ‘Die Grundlegung der elementaren Zahlenlehre’,Mathematische Annalen 104, 485–94.

    Google Scholar 

  • Hilbert, D.: 1932,Gesammelte Abhandlungen, Volume I, Chelsea, New York.

    Google Scholar 

  • Hilbert, D.: 1933,Gesammelte Abhandlungen, Volume II, Chelsea, New York.

    Google Scholar 

  • Hilbert, D.: 1935,Gesammelte Abhandlungen, Volume III, Chelsea, New York.

    Google Scholar 

  • Ireland, K. and M. A. Rosen: 1982,Classical Introduction to Modern Number Theory, Springer Verlag, Berlin-Heidelberg-New York.

    Google Scholar 

  • Kreisel, G.: 1958, ‘Hilbert's Programme’Dialectica 12, 346–72. Revised version with a postscript in P. Benacerraf and H. Putnam (ed.),Philosophy of Mathematics, second edition, Prentice-Hall, Englewood Cliffs, N.J., 1983.

    Google Scholar 

  • Kronecker, L.: 1968,Werke, K. Hensel (ed.), 5 Volumes, Chelsea reprint, New York.

  • Nelson, E.: 1986,Predicative Arithmetic, Princeton University Press, Princeton.

    Google Scholar 

  • Nelson, E.: 1977, ‘Internal Set Theory: a new approach to nonstandard analysis’,Bulletin of the American Mathematical Society 83, 1165–98.

    Google Scholar 

  • Weyl, H.: 1968,Gesammelte Abhandlungen, 4 Bände, K. Chandrasekharan (ed.), Springer Verlag, Berlin-Heidelberg-New York.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

I am indebted to an anonymous referee for many helpful critical remarks.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Gauthier, Y. Hilbert and the internal logic of mathematics. Synthese 101, 1–14 (1994). https://doi.org/10.1007/BF01063966

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01063966

Keywords

  • Classical Logic
  • Mathematical Practice
  • Internal Logic
  • Arithmetic Theory
  • Algebraic Quantity