Abstracts
Résumé
Dans cet article, je compare les vues de Lautman et Herbrand sur la théorie des nombres et la philosophie de l’arithmétique. Je montre que, bien que Lautman eût avoué avoir été marqué par l’influence de Herbrand, les postures fondationnelles des deux amis divergent considérablement. Alors que Lautman versait dans un réalisme platonicien, Herbrand est resté fidèle au finitisme hilbertien. Il est vrai que Lautman était philosophe et que Herbrand était avant tout arithméticien et logicien, mais il demeure que l’oeuvre de Herbrand a une portée philosophique mieux accordée à la logique et aux mathématiques contemporaines.
Abstract
In this paper, I am contrasting Lautman’s and Herbrand’s views on number theory and philosophy of arithmetic. It is argued that despite the fact that Lautman had acknowledged Herbrand’s major influence on his own work, their foundational stances diverge profoundly. Lautman defended a variety of Platonism and Herbrand advocated a personal version of Hilbertian finitism. Of course, Lautman was a philosopher while Herbrand dealt mainly with number theory and logic. It remains though that Herbrand’s work is more in tune with contemporary logic and mathematics from a philosophical perspective.
Appendices
Références bibliographiques
- Avigad, J. « Number Theory and Elementary Arithmetic », Philosophia Mathematica XI, 2003, pp. 257-284.
- Avigad, J., P. Gerhardy et A. Townsner. « Local Stability of Ergodic Averages », à paraître dans Trans. of A.M.S.
- Becker, O. « Mathematische Existenz », Jahrbuch für Philosophie undphänomenologische Forschung IX, 1927.
- Becker, O. Grundlagen der Mathematik in geschichtlicher Entwiclung, Alber, Freiburg/München, 1954.
- Brunschvicg, L. Les étapes de la philosophie mathématique, PUF, Paris, 1947.
- Cavaillès, J. Sur la logique et la théorie de la science, Vrin, Paris, 1976.
- Cavaillès, J. Philosophie mathématique, Hermann, Paris, 1962.
- Corfield, D. Towards a philosophy of real mathematics, Cambridge University Press, Cambridge, 2006.
- Edwards, H. Divisor Theory, Birkhaüser, Basel, 1990.
- Gauthier, Y. « L’épistémologie française des mathématiques », Critique, Paris, 1979, pp. 3-36.
- Gauthier, Y. Internal Logic. Foundations of Mathematics from Kronecker to Hilbert, Kluwer « Synthese Library », Dordrecht/Boston/London, 2002.
- Herbrand, J. Écrits logiques, PUF, Paris, 1968.
- Herbrand, J. Le développement moderne de la théorie des corps algébriques. Corps de classe et lois de réciprocité, Gauthier-Villars, Paris, 1936.
- Hilbert, D. et P. Bernays. Grundlagen der Mathematik I et II, 2 Aufl., Berlin, Springer-Verlag, 1968 et 1970.
- Ingham, A. E. The Distribution of Prime Numbers, Cambridge University Press, Cambridge, 1932.
- Ireland, K. et M. Rosen. A Classical Introduction to Modern Number Theory, Berlin, Springer-Verlag, 1980.
- Kronecker, L. Vorlesungen über Zahlentheorie, vol. I, K. Hensel (ed.), Teubner, Leipzig, 1901.
- Langlands, R.P., « Some Contemporary Problems with Origins in the Jugendtraum », Mathematical developments arising from Hilbert’s problems, American Mathematical Society, Providence, R.I., 1976.
- Lautman, A. Essai sur l’unité des sciences mathématiques dans leur développement actuel, Hermann, Paris, 1938.
- Lautman, A. Essai sur les notions de structure et d’existence en mathématiques, Hermann, Paris, 1938.
- Lejeune Dirichlet, P.G. Werke I, hrsg. v. L. Kronecker, Reimer, Berlin, 1889.
- Riemann, B. Gesammelte mathematische Werke, wissenschaftlicher Nachlass und Nachträge. Collected Papers neu hrsg. v. R. Naramsihan, (B.G Teubner, Springer-Verlag, Berlin, New York, Leipzig), 1990.
- Weil, A. Number Theory. An Approach Through History. From Hammurabi to Legendre, Birkhaüser, Basel, 1984.