La propriété des corps
L’autre axiome du choix
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...
Logique, catégories et faisceaux