Résumé :
|
Le point sur l'élaboration, l'axiomatisation, les paradoxes et la question du futur concernant la théorie des ensembles née des travaux autour de la notion d'infini : les apports de Richard Dedekind ; les paradoxes et la crise des fondements (paradoxes de Georg Cantor, de Cesare Burali-Forti et de Bertrand Russell) ; la formalisation de Ernst Zermelo et Abraham Fraenkel aboutissant au système ZFC (pour "Zermelo-Fraenkel with Choice") ; les travaux de Kurt Gödel (démonstration de la consistance de la théorie des ensembles) et de Paul Cohen (méthode du forcing) ; la question du futur de la théorie des ensembles (sagesse et chaos). Bibliographie.
|