Cet article est une contribution à l'étude de l'expression de la généralité et de l'abstraction en mathématique. Il propose dans cette perspective une analyse des conditions de possibilité de la réflexivité. Certaines de ces conditions sont d'abord dégagées à partir d'exemples élémentaires. Une brève analyse des Disquistiones arithmeticae de Gauss permet ensuite de proposer un critère de démarcation sémiotique pour les mathématiques ensemblistes. L'application de ce critère permet ensuite d'expliquer que la réflexivité s'exprime dans ces mathématiques par des hiérarchies.
@article{PHSC_2005__9_2_165_0, author = {Herreman, Alain}, title = {Vers une analyse s\'emiotique de la th\'eorie des ensembles : hi\'erarchies et r\'eflexivit\'e}, journal = {Philosophia Scientiae}, pages = {165--187}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {2}, year = {2005}, language = {fr}, url = {http://archive.numdam.org/item/PHSC_2005__9_2_165_0/} }
TY - JOUR AU - Herreman, Alain TI - Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité JO - Philosophia Scientiae PY - 2005 SP - 165 EP - 187 VL - 9 IS - 2 PB - Éditions Kimé UR - http://archive.numdam.org/item/PHSC_2005__9_2_165_0/ LA - fr ID - PHSC_2005__9_2_165_0 ER -
Herreman, Alain. Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité. Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 165-187. http://archive.numdam.org/item/PHSC_2005__9_2_165_0/
[1] Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le quatrième degré, Journal für die reine und argewandte Mathematik, 1. Cité d'après œ uvres, vol 1.
1826.-[2] Leçon sur la théorie des fonctions (principes de la théorie des ensembles en vue des applications à la théorie des fonctions), Paris : Gauthier-Villars. | MR
1898.-[3] Les étapes de la philosophie des mathématiques. Nouveau tirage, Paris : A. Blanchard, 1981. | MR
1912.-[4] L'irrationalité dans les mathématiques grecques jusqu'à Euclide, Lille : Presses Universitaires du Septentrion. | MR | Zbl
1998.-[5] Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen, Math. Annalen, 5, 123-132. | JFM | MR
1872.-[6] Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen, Leipzig : Teubner.
1883.-[7] Remarques sur la formation de la théorie abstraite des ensembles, étude historique et critique, Paris : Hermann, Actualités scientifiques et industrielles, 606 et 607. | JFM
1938.-[8] Linearity and Reflexivity in the Growth of Mathematical Knowledge, Science in Context, 3, 409-440. | Zbl
1989.-[9] Encyclopédie méthodique. Les arithmétiques. Cité d'après la traduction française par Roshdi Rashed : Les arithmétiques, Paris : Les Belles Lettres, 1984.
& 1784.-[10] Sur la grandeur relative des infinis de fonctions, Annali di matematica, 4, 338-353. | JFM
1871.-[11] Observations sur Diophante, V 9. Cité d'après œuvres de Pierre de Fermat, I, Paris : Blanchard, 1999.
1999a.-[12] Second défi au mathématicien, février 1657. Cité d'après œuvres de Pierre de Fermat, I, Paris : Blanchard, 1999.
1999b.-[13] The Mathematics of Plato's Academy : A New Reconstruction, Oxford : Clarendon Press. | MR
1987.-[14] Mémoire sur les conditions de résolubilité des équations par radicaux. Cité d'après œuvres matémathématiques, Paris : Gauthier-Villars, 1897 : 15-23.
1897.-[15] Disquisitiones arithmeticae, Leipzig. Cité d'après la traduction de A.-C.-M. Poullet-Delisle, Recherches arithmétiques, Paris : Courcier, 1807.
1801.-[16] The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axiom of Set Theory, Princeton : Princeton University Press, Annals of Mathematics Studies. | Zbl
1938.-[17] Le métier des nombres aux XVIIe et XIXe siècles in [Serres 1989, 274-295]. | MR
1989.-[18] Bibliography on the History of Number Theory after 1800, Prépublications, Université de Paris-Sud, 33.
2001.-[19] Entre intuition et analyse, Poincaré et le concept de prédicativité, Paris : Blanchard. | MR
1985.-[20] La topologie et ses signes. Eléments pour une analyse sémiotique des mathématiques, Paris : L'Harmattan. | Zbl
2000.-[21] La mise en texte mathématique : une analyse de l'“Algorisme de Frankenthal”, Methodos, l, 61-100,
2001.-[22] The Evolution of the Euclidean Elements : A Study of the Theory of lncommensurable Magnitudes and its Significance for Early Greek Geometry, Dordrecht : D. Reidel. | MR | Zbl
1975.-[23] Réflexions sur la résolution algébrique des équations, Nouveaux Mémoires de l'Académie Royale des Sciences et des Belles Lettres de Berlin. Cité d'après œuvres, vol. III.
1770.-[24] Sur la solution des problèmes indéterminés du second degré, Mémoires de l'Académie des Sciences de Berlin, 23. Cité d'après œuvres, vol III, 373.
1769.-[25] Recherches d'arithmétique, Nouveaux Mémoires de l'Académie Royale des Sciences et des Belles Lettres de Berlin, 1773-1775. Cité d'après œuvres, vol. III, 704.
1773-1775.-[26] Leçons sur l'intégration et la recherche de fonctions primitives, Paris : Gauthier-Villars. | JFM
1904.-[27] Sur les fonctions représentables analytiquement, Journal de mathématiques, 139-219. | JFM | Numdam
1905.-[28] The reception of Diophantus' “Arithmetic” in the Renaissance, Michigan : University Microfilms International, Ann Arbor.
1981.-[29] The Goal of Archimedes' Sand-Reckoner, manuscrit. | MR
2002.-[30] Entre arithmétique et algèbre, recherches sur l'histoire des mathématiques arabes, Paris : Les Belles Lettres. | Zbl
1985.-[31] Mathematical logic as based on the theory of type, American Journal of Mathematics, 222-262. Cité d'après la réédition in [Heinzmann 1985]. | JFM | MR
1908.-[32] Eléments d'Histoire des sciences, Paris : Bordas. | MR
1989.-[33] Les ensembles projectifs et analytiques, Mémorial des sciences mathématiques, Paris : Gauthier-Villars. | Numdam | MR | Zbl
1950.-[34] Sur une définition des ensembles mesurables B sans nombres transfinis, Comptes rendus de l'Académie des Sciences de Paris, séance du 8 janvier 1917, 164, 88. | JFM
& 1917.-