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.
Similar content being viewed by others
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.
Gauthier, Y.: 1989, ‘Finite Arithmetic with Infinite Descent’,Dialectica 43, 329–37.
Gauthier, Y.: 1991,La logique interne, Vrin, Paris.
Hilbert, D.: 1925 ‘Über das Unendliche’,Mathematische Annalen 96, 161–90.
Hilbert, D.: 1929, ‘Die Grundlegung der elementaren Zahlenlehre’,Mathematische Annalen 104, 485–94.
Hilbert, D.: 1932,Gesammelte Abhandlungen, Volume I, Chelsea, New York.
Hilbert, D.: 1933,Gesammelte Abhandlungen, Volume II, Chelsea, New York.
Hilbert, D.: 1935,Gesammelte Abhandlungen, Volume III, Chelsea, New York.
Ireland, K. and M. A. Rosen: 1982,Classical Introduction to Modern Number Theory, Springer Verlag, Berlin-Heidelberg-New York.
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.
Kronecker, L.: 1968,Werke, K. Hensel (ed.), 5 Volumes, Chelsea reprint, New York.
Nelson, E.: 1986,Predicative Arithmetic, Princeton University Press, Princeton.
Nelson, E.: 1977, ‘Internal Set Theory: a new approach to nonstandard analysis’,Bulletin of the American Mathematical Society 83, 1165–98.
Weyl, H.: 1968,Gesammelte Abhandlungen, 4 Bände, K. Chandrasekharan (ed.), Springer Verlag, Berlin-Heidelberg-New York.
Author information
Authors and Affiliations
Additional information
I am indebted to an anonymous referee for many helpful critical remarks.
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF01063966