Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix

Françoise Longy

Philosophia Scientiae (2001)

  • Volume: 5, Issue: 2, page 51-87
  • ISSN: 1281-2463

Abstract

top
Zermelo and Poincaré had different positions on the foundations of mathematics. However, both defended the autonomy of mathematics, and both appealed to specific mathematical intuitions to justify basic axioms. Their reflections on the axiom of choice show how a similar appraisal of mathematics can lead to different positions, and a thorough analysis of these reflections offers the means to evaluate their position. In this article, first, we distinguish the mathematician’s attitude from that of the logician, using Zermelo’s work as an example. Secondly, we examine Zermelo’s arguments to clarify the notions of evidence and intuition that are involved, and to determine what his position is precisely. Thirdly, we consider Poincaré’s arguments regarding, first, the need to resort to intuition to justify fundamental mathematical principles and, then, the possibility of giving an intuitive foundation for the axiom of choice. We show that these arguments prove less than Poincaré had thought. The analysis of Zermelo’s and Poincaré’s arguments delivers a clear distinction between a genuine intuitionism and a deceptively similar position which calls for an “intuition” founded on mathematical practice and culture. And this distinction allows us to evaluate the significance of each argument and to define the position each one of them truly supports.

How to cite

top

Longy, Françoise. "Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix." Philosophia Scientiae 5.2 (2001): 51-87. <http://eudml.org/doc/103661>.

@article{Longy2001,
abstract = {A l’occasion de réflexions sur l’axiome du choix, Zermelo et Poincaré sont amenés à préciser ce qui doit être au fondement des mathématiques et peut servir à justifier un axiome. Défendant l’autonomie des mathématiques, chacun d’eux invoque une intuition mathématique spécifique visible dans la pratique du mathématicien. D’abord, nous explicitons ce qui distingue l’attitude du mathématicien de celle logicien, en prenant l’exemple de Zermelo. Puis, pour déterminer la nature réelle de l’intuition invoquée et la position précise de Zermelo, nous analysons dans le détail son argumentation en dissipant certaines confusions relatives aux notions d’évidence et d’intuition. Nous étudions, ensuite, les arguments de Poincaré destinés à établir, premièrement, que les mathématiques doivent avoir un fondement intuitif et, deuxièmement, qu’il est possible d’offrir un tel fondement à l’axiome du choix. Nous montrons qu’ils prouvent moins que Poincaré ne le croyait. Cette analyse comparative des thèses de Zermelo et de Poincaré nous permet de distinguer un vrai intuitionnisme d’une position faussement semblable où l’«intuition» résulte de la pratique et de la culture acquises dans la discipline. À la lumière de cette distinction, nous réévaluons les arguments avancés par chacun d’eux.},
author = {Longy, Françoise},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {51-87},
publisher = {Éditions Kimé},
title = {Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix},
url = {http://eudml.org/doc/103661},
volume = {5},
year = {2001},
}

TY - JOUR
AU - Longy, Françoise
TI - Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix
JO - Philosophia Scientiae
PY - 2001
PB - Éditions Kimé
VL - 5
IS - 2
SP - 51
EP - 87
AB - A l’occasion de réflexions sur l’axiome du choix, Zermelo et Poincaré sont amenés à préciser ce qui doit être au fondement des mathématiques et peut servir à justifier un axiome. Défendant l’autonomie des mathématiques, chacun d’eux invoque une intuition mathématique spécifique visible dans la pratique du mathématicien. D’abord, nous explicitons ce qui distingue l’attitude du mathématicien de celle logicien, en prenant l’exemple de Zermelo. Puis, pour déterminer la nature réelle de l’intuition invoquée et la position précise de Zermelo, nous analysons dans le détail son argumentation en dissipant certaines confusions relatives aux notions d’évidence et d’intuition. Nous étudions, ensuite, les arguments de Poincaré destinés à établir, premièrement, que les mathématiques doivent avoir un fondement intuitif et, deuxièmement, qu’il est possible d’offrir un tel fondement à l’axiome du choix. Nous montrons qu’ils prouvent moins que Poincaré ne le croyait. Cette analyse comparative des thèses de Zermelo et de Poincaré nous permet de distinguer un vrai intuitionnisme d’une position faussement semblable où l’«intuition» résulte de la pratique et de la culture acquises dans la discipline. À la lumière de cette distinction, nous réévaluons les arguments avancés par chacun d’eux.
LA - fre
UR - http://eudml.org/doc/103661
ER -

References

top
  1. [1] Aspray, W. et Kitcher P. (éds.) 1988.— History and Philosophy of Modern mathematics, Minnesota studies in the philosophy of science, XI, Minneapolis : Minnesota Univ. Press. MR945464
  2. [2] Audi, R. (éd.) 1995.— The Cambridge Dictionary of Philosophy, Cambridge : Cambridge Univ. Press. Zbl0568.65038
  3. [3] Borel, Emile1898.— Leçons sur la théorie des fonctions, Paris : Gauthier-Villars. 
  4. [4] Cassinet, Jean1983.— « La position d’Henri Poincaré par rapport à l’axiome du choix, à travers ses écrits et sa correspondance avec Zermelo (1905-1912) », History and Philosophy of Logic 4, 145-155. MR718391
  5. [5] Fraenkel, A. et Bar-Hillel Y.1958.— Foundations of Set Theory, Amsterdam : North-Holland. Zbl0082.26203MR101841
  6. [6] Frege, Gottlob et Hilbert, David1900.— Correspondance, traduit et reproduit dans [Rivenc & Rouilhan (éds.) 1992, 220-235]. 
  7. [7] Goldfarb, Warren1988.— « Poincaré against the Logicists » dans [Aspray & Kitcher (éds.) 1988, 61-81]. MR945466
  8. [8] Grattan-Guiness, Ivor1977.— Dear Russel-Dear Jourdain, London : Duckworth. Zbl0369.01006
  9. [9] Heinzmann, G. (éd.) 1986.— Poincaré, Russell, Zermelo et Peano, Textes de la discussion (1906-12) sur les fondements des mathématiques : des antinomies à la prédicativité, Paris : Blanchard. Zbl0669.01027MR851384
  10. [10] Hilbert, David 1926.— «  Über das Unendliche«  , Mathematische Annalen, 95, 161-190. MR1512272JFM51.0044.02
  11. [11] Lebesgue, Henri1902.— « Intégrale, longueur, aire », Annali di matematica pura ed applicata, 3, 231-359. JFM33.0307.02
  12. [12] Maddy, Penelope1990.— Realism in Mathematics, Oxford : Clarendon Press. Zbl0762.00001MR1075998
  13. [13] Moore, Gregory H.1976.— « Ernst Zermelo, A.E. Harward, and the Axiomatization of Set Theory », Historia Mathematica, 3, 206-209. Zbl0328.01010MR490817
  14. [14] Moore, Gregory H.1978.— « The Origins of Zermelo’s Axiomatization of Set Theory », Journal of Philosophical Logic, 7, 307-329. Zbl0382.03039MR497741
  15. [15] Moore, Gregory H.1982.— Zermelo’s Axiom of Choice : its Origin, Development and Influence, New York : Springer-Verlag. Zbl0497.01005MR679315
  16. [16] Peckhaus, Volker1990.— « ‘Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschiessen’. Ernst Zermelo in Göttingen », History and Philosophy of Logic, 11, pp.19-58. Zbl0692.01016MR1036363
  17. [17] Poincaré, Henri1902.— La science et l’hypothèse, Paris : Flammarion, 1968. 
  18. [18] Poincaré, Henri1905/06.— « Les mathématiques et la logique », Revue de métaphysique et de morale, 13 (1905), 815-835, et 14 (1906), 17-34, reproduit dans [Heinzmann (éd.) 1986]. Zbl36.0081.05JFM36.0081.05
  19. [19] Poincaré, Henri1906a.— « Les mathématiques et la logique », Revue de métaphysique et de morale, 14, 294-317, reproduit dans Heinzmann éd.1986 JFM37.0060.01
  20. [20] Poincaré, Henri1906b.— « A propos de la logistique », Revue de métaphysique et de morale, 14, 866-868, reproduit dans Heinzmann éd.1986. JFM37.0060.01
  21. [21] Poincaré, Henri1908.— Science et Méthode, Paris : Flammarion. Réédition : cahier spécial 3 de Philosophia Scientiæ, Paris : Kimé, 1999. 
  22. [22] Poincaré, Henri1909a.— « Réflexions sur les deux notes précédentes de A.S. Schönflies et de Zermelo », Acta Matematica, 32, 195-200, reproduit dans [Heinzmann (éd.) 1986]. MR1555051
  23. [23] Poincaré, Henri1909b.— « La logique de l’infini » (1), Revue de métaphysique et de morale, 17, 461-482, reproduit dans [Heinzmann (éd.) 1986]. JFM40.0097.06
  24. [24] Poincaré, Henri1912.— « La logique de l’infini » (2), Scientia, 1-11, reproduit dans [Heinzmann (éd.) 1986]. JFM43.0099.03
  25. [25] Rang, B. et Thomas, W.1981.— « Zermelo’s discovery of the « Russell paradox », Historia mathematica, 8, 15-22. Zbl0458.01009MR618161
  26. [26] Rivenc, F. et Rouilhan, Ph. de (éds). 1992.— Logique et fondements des mathématiques, Paris : Payot. 
  27. [27] Rota, Giancarlo1997.— Indiscrete Thoughts, Boston : Birkhauser. MR1419503
  28. [28] Young, William H.1903.— « Overlapping Intervals », Proceedings of the London Mathematical Society, 35, 384-388. Zbl34.0531.01JFM34.0531.01
  29. [29] Zermelo, E.1904.— « Beweis, dass jede Menge wohlgeordnet werden kann« , Mathematische Annalen, 59, 514-16. Zbl35.0088.03MR1511281JFM35.0088.03
  30. [30] Zermelo, E.1908a.— « Neuer Beweis für die Möglichkeit einer Wohlordnung« , Mathematische Annalen, 65, 107-128, trad. fr. dans [Rivenc & Rouilhan (éds.) 1992], 342-366. Zbl38.0096.02MR1511462JFM38.0096.02
  31. [31] Zermelo, E.1908b.— « Untersuchungen über die Grundlagen der Mengenlehre« , Mathematische Annalen, 65, 261-281, trad. fr. partie I dans [Rivenc & Rouilhan (éds.) 1992], 370-378. Zbl39.0097.03JFM39.0097.03
  32. [32] Zermelo, E.1909.— « Sur les ensembles finis et le principe d’induction complète », Acta Matematica, 32, 185-193, reproduit dans [Heinzmann (éd.) 1986]. Zbl40.0098.03MR1555050JFM40.0098.03

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.