Ecartant l'usage de la négation, qui fait problème dans les paradoxes, O. Esser retrouve les ensembles habituels mais aussi de nombreux autres qu'il n'y a aucune raison valable d'exclure. ©Electre 2025
Les théories positives des ensembles développent l'observation que les ensembles paradoxaux se définissent à l'aide de la négation. Après avoir introduit une notion de positivité plus ou moins libérale, elles postulent que toute formule «positive» définit un ensemble.
Olivier Esser part d'une théorie positive existante enrichie par un schéma d'axiomes qui munit toute classe d'une «clôture» ; et il montre que la théorie qui en résulte interprète celle de Kelley-Morse ainsi que l'axiome «la classe des ordinaux est ramifiable» et vice versa.
Les résultats qu'il obtient montrent clairement que les théories orthodoxes ont exclu trop d'ensembles. En écartant uniquement ce qui fait problème dans les paradoxes - l'usage de la négation -, il retrouve non seulement les ensembles des théories habituelles mais encore de nombreux autres ensembles qu'on n'avait aucune raison valable d'exclure.
Paru le : 02/07/2004
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Olivier Esser
Éditeur(s) :
Editions Academia
Collection(s) : Cahier du Centre de logique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782872097500
Reliure : Broché
Pages : 117
Hauteur: 23.0 cm / Largeur 15.0 cm
Épaisseur: 0.7 cm
Poids: 185 g
Carte fidélité
Mollat Radio
