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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Français |
| Publicado: |
Paris :
Ellipses
2020.
Paris : Cyberlibris |
| Materias: | |
| Acceso en línea: | Accès INSA CVL Accès Université d'Orléans et IFPM Accès INSA CVL |
| Nota: |
Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782340088481.jpg Cyberlibris (ScholarVox) Corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Théorie des ensembles et logique mathématique, des infinis mathématiques aux théorèmes de Gödel, Jacques Patarin, 2020, Paris, Ellipses, 1 volume (VIII-292 p.), Références sciences, 978-2-340-04100-4 |
Tabla de Contenidos:
- I, Résultats de théorie des ensembles
- Chapitre 2, Les axiomes de Zermelo-Fraenkel
- II, Logique mathématique
- Chapitre 1, Cardinaux
- 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
- 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