Rayon Fondements des mathématiques (logique)
Théorie des ensembles comme fondement des mathématiques. Vol. 1. Théorie naïve et théorie basique

Fiche technique

Format : Broché
Nb de pages : XXXIX-500 pages
Poids : 815 g
Dimensions : 16cm X 24cm
ISBN : 978-2-493230-14-0
EAN : 9782493230140

Théorie naïve et théorie basique


Collection(s) | Orizzonti
Paru le
Broché XXXIX-500 pages

Quatrième de couverture

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 quasi-totalité 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.

Biographie

Martial Leroy est ancien élève de 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 nombreuses lectures et réflexions sur le sujet. Il travaille depuis 2010 à la rédaction de cette monographie.

Avis des lecteurs

Du même auteur : Martial Leroy