D'un point de vue rigoureux et parfaitement général 

pratique des mathématiques rigoureuses chez Richard Dedekind

Emmylou Haffner

pp. 131-156

in: Gerhard Heinzmann (ed), Standards of rigor in mathematical practice, Philosophia Scientiae 18 (1), 2014.

Abstract

Dans cet article, je considère la pratique et la conception de la ri­gueur 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 étroi­tement 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 ma­thé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éra­lité 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.

Cited authors

Dedekind Richard