Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'infini. A ce titre, elle présente souvent des résultats très éton...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris :
Ellipses
DL 2020.
|
| Sarja: | Références sciences
|
| Aiheet: | |
| Autres localisations: | Voir dans le Sudoc |
Sisällysluettelo:
- I, Résultats de théorie des ensembles
- Chapitre 1, Cardinaux
- Chapitre 2, Les axiomes de Zermelo-Fraenkel
- Chapitre 3, Cardinalité des ensembles usuels
- Chapitre 4, L'axiome du choix
- Chapitre 5, L'équivalence du choix, Zorn et Zermelo
- Chapitre 6, Ordinaux
- Chapitre 7, Induction
- Chapitre 8, Le paradoxe de Banach-Tarski
- II, Logique mathématique
- Chapitre 9, Formules et modèles
- Chapitre 10, Complétude
- Chapitre 11, Incomplétude
- Chapitre 12, Arithmétisation et consistance
- Chapitre 13, Autres théories des ensembles & résultats