Repository | Zeitschrift | Band | Artikel
D'un point de vue rigoureux et parfaitement général
pratique des mathématiques rigoureuses chez Richard Dedekind
pp. 131-156
Abstrakt
Dans cet article, je considère la pratique et la conception de la rigueur chez Richard Dedekind qui se dégagent de l’étude d’une sélection de ses travaux les plus importants. Une analyse des mentions multiples de réquisits de rigueur dans les textes de Dedekind amène à constater qu’il lie très étroitement la rigueur à la généralité. La première partie de l’article donne à voir les liens serrés tissés par Dedekind entre généralité et rigueur, dans sa théorie des fonctions algébriques co-écrite avec H. Weber, ainsi que dans ses travaux fondationnels et dans ses travaux de théorie des nombres. Dans la seconde partie, j’examine les critères de rigueur qui apparaissent dans la pratique mathématique de Dedekind. Je discute l’idéal logique de rigueur dans l’essai de Dedekind sur les entiers naturels, étudié par M. Detlefsen sous l’appellation « Dedekind’s principle » ; puis je m’intéresse à la stratégie de Dedekind pour arithmétiser les mathématiques afin de mettre en évidence qu’il ne s’agit pas d’une approche guidée par un principe purement logique. Ainsi, l’idéal logique de rigueur apparaît comme intimement lié à la pratique d’une autre norme épistémique : la généralité, en lien avec la quête, par Dedekind, de définitions et preuves générales. Dans la dernière partie, j’analyse la demande de généralité et la pluralité de conceptions de la généralité que recouvre cette demande, et termine en mettant en avant la relation des définitions aux preuves et de quelle manière une définition générale se pose en condition de rigueur dans les mathématiques dedekindiennes.
Publication details
Published in:
Heinzmann Gerhard (2014) Standards of rigor in mathematical practice. Philosophia Scientiae 18 (1).
Seiten: 131-156
DOI: 10.4000/philosophiascientiae.919
Referenz:
Haffner Emmylou (2014) „D'un point de vue rigoureux et parfaitement général : pratique des mathématiques rigoureuses chez Richard Dedekind“. Philosophia Scientiae 18 (1), 131–156.