Geodesic
L'autre axiome du choix
Revue d'histoire des mathématiques, Tome 8 (2002) no. 1, pp. 113-140

Voir la notice de l'article provenant de la source Numdam

L'« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie procède à un examen détaillé des positions prises dans ce débat par deux mathématiciens considérables qui ne craignaient pas la métaphysique : Arnaud Denjoy et Paul Lévy.

The “axiom of simple choice” is the principle according to which one can choose an element from any non-empty set. The first part of this paper attempts to trace the rich and paradoxical history of simple choice. In this story, the most decisive issues appear to be the status of set theory within intuitionistic mathematics and the increasing tension between the technical work of logicians and the epistemological thought of mathematicians. The paper's second part analyzes the attitudes taken in this debate by two prominent French mathematicians who did not fear metaphysics, Arnaud Denjoy and Paul Lévy.

DOI : 10.24033/rhm.122
Mots-clés : axiome du choix, intuitionnisme, principe du tiers exclu, topos, Arnaud Denjoy, Paul Lévy 
@article{RHM_2002__8_1_113_0,
     author = {Ageron, Pierre},
     title = {L'autre axiome du choix},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {113--140},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {8},
     number = {1},
     year = {2002},
     doi = {10.24033/rhm.122},
     zbl = {1028.01005},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.24033/rhm.122/}
}
TY  - JOUR
AU  - Ageron, Pierre
TI  - L'autre axiome du choix
JO  - Revue d'histoire des mathématiques
PY  - 2002
SP  - 113
EP  - 140
VL  - 8
IS  - 1
PB  - Société mathématique de France
UR  - http://geodesic.mathdoc.fr/articles/10.24033/rhm.122/
DO  - 10.24033/rhm.122
LA  - fr
ID  - RHM_2002__8_1_113_0
ER  - 
%0 Journal Article
%A Ageron, Pierre
%T L'autre axiome du choix
%J Revue d'histoire des mathématiques
%D 2002
%P 113-140
%V 8
%N 1
%I Société mathématique de France
%U http://geodesic.mathdoc.fr/articles/10.24033/rhm.122/
%R 10.24033/rhm.122
%G fr
%F RHM_2002__8_1_113_0
Ageron, Pierre. L'autre axiome du choix. Revue d'histoire des mathématiques, Tome 8 (2002) no. 1, pp. 113-140. doi: 10.24033/rhm.122

Cité par Sources :