Théorie des ensembles comme fondement des mathématiques
Théorie naïve et théorie basique

Quel est le sujet du livre "Théorie des ensembles comme fondement des mathématiques"

Ce livre est le premier d'une série de quatre volumes consacrée à la théorie des ensembles moderne. Même si elle constitue un sujet à part entière, la théorie des ensembles sert de fondement à la quasitotalité des mathématiques telles que nous les pratiquons aujourd'hui. C'est ce que l'auteur s'emploie à nous expliquer dans un premier temps. Après avoir montré l'insuffisance de la théorie naïve des ensembles de Dedekind, Frege et Cantor, on insiste sur la nécessité de Formuler une théorie des ensembles axiomatisée. On découvre alors les premiers axiomes de ZFC (théorie des ensembles de Zermelo Fraenkel avec axiome du Choix(, et l'on explique comment l'intégralité de l'édifice mathématique peut être entièrement formalisée dans le monde de ZFC. Les derniers axiomes permettent de donner un sens rigoureux aux notions fondamentales d'ordinal et de cardinal. On donne ensuite diverses variantes de l'axiome du choix, ainsi qu'un certain nombre d'applications, en particulier dans le domaine des filtres et ultrafiltres, ainsi qu'à des questions non triviales de cardinalité. Le livre se termine par une étude de la hiérarchie cumulative, l'énoncé de l'axiome de fondation, et la preuve du schéma de réflexion. Le texte est enrichi de bon nombre de réflexions d'ordre historique et philosophique, qui en rendent la lecture plus agréable, et ce, dès le niveau L1. Le volume 2 sera consacré aux théorèmes de complétude et d'incomplétude de Gödel, à l'étude fine des modèles de ZFC, et à la découverte de diverses techniques de preuves d'indépendance. Au volume 3 on découvrira la théorie descriptive des ensembles et la hiérarchie des grands cardinaux. Enfin, le volume 4 se concentrera sur un certain nombre de théories alternatives à ZFC.

Martial Leroy est ancien élève da l'ENS Cachan, professeur agrégé de mathématiques et titulaire de deux masters : 'Analyse fonctionnelle et théorie descriptive des ensembles', 1990, et 'Logique Mathématique et Fondements de l'Informatique' (LMFI), 2004. Passionné depuis toujours de théorie des ensembles, il nous livre ici le résultat de ses ombreuses lectures et réflexions sur le sujet. Il travaille depuis 2010 à la rédaction de cette monographie.