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 (2014)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
La rigueur mathématique chez Henri Poincaré.Ramzi Kebaïli - 2014 - Philosophia Scientiae 18 (1):27-44.
Dedekind's Logicism.Ansten Mørch Klev - 2015 - Philosophia Mathematica:nkv027.
Sobre los orígenes de la Matemática abstracta.José Ferreiros Domínguez - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):473-498.
Dedekind’s Map-theoretic Period.José Ferreirós - 2017 - Philosophia Mathematica 25 (3):318–340.

Analytics

Added to PP
2017-02-17

Downloads
6 (#1,269,502)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

The genesis of ideal theory.Harold M. Edwards - 1980 - Archive for History of Exact Sciences 23 (4):321-378.

Add more references