Revue d’histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L’autre axiome du choix.

English Title : The other axiom of choice.

Résumé

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.

Abstract

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.

Notes

Fondée en 1995, la Revue d’histoire des mathématiques publie des articles originaux (en français ou en anglais) consacrés à l’histoire des mathématiques, de l’Antiquité à nos jours. (En ligne ISSN 1777-568X)
Le texte intégral des articles récents est réservé aux abonnés sur le site de la revue.

Une version texte intégral est en téléchargement sur le site SMF – Revue d’Histoire des Mathématiques

Données de publication

Éditeur Société Mathématique de France (SMF) Paris , 2002 Format 15,5 cm x 24 cm, p. 113-140
ISSN 1262-022X

Public visé chercheur, enseignant, formateur Niveau licence, master Âge 19, 20, 21

Type article de périodique ou revue Langue français Support papier