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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Français |
| Được phát hành: |
Paris :
Ellipses
2020.
Paris : Cyberlibris |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès INSA CVL Accès Université d'Orléans et IFPM Accès INSA CVL |
| Chú thích: |
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 |
| LEADER | 04123nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 1396413 | ||
| 008 | 240209s2020 xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN275795462 | ||
| 020 | |a 9782340088481 | ||
| 041 | 0 | |a fre |f fre | |
| 082 | |a 511.3 | ||
| 100 | 1 | |a Patarin, Jacques, |d 1965-...., |c informaticien. | |
| 245 | 1 | 0 | |a Théorie des ensembles et logique mathématique : |b des infinis mathématiques aux théorèmes de Gödel |c Jacques Patarin. |
| 260 | |a Paris : |b Ellipses. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2020. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782340088481.jpg | ||
| 500 | |a Cyberlibris (ScholarVox) Corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 504 | |a Bibliogr. p. [291]-292 | ||
| 505 | 0 | |a 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 | |
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 520 | |a 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 étonnants. La logique a une histoire qui remonte à l'Antiquité, mais elle a été totalement renouvelée au XXe siècle par les très célèbres résultats de Kurt Gödel, en particulier par ses résultats d'incomplétude. Ces deux domaines ont de très nombreuses interactions. De plus, avec le développement spectaculaire de l'informatique actuelle, de nombreux résultats de ce livre prennent aussi une importance pratique, et plus seulement théorique. - Quels sont les différents infinis en mathématiques ? ; - Existe-t-il une infinité d'infinis différents ? - Existe-t-il une différence fondamentale entre ce qui est vrai et ce qui est prouvable ? ; - En mathématiques, exister signifie-t-il la même chose qu'être non contradictoire ? ; - Peut-on fonder toutes les mathématiques à partir d'in petit nombre d'axiome ? ; - Existe-t-il un ensemble de tous les ensembles ? ; - Peut-on créer un anti-virus informatique parfait ? Voici quelques-unes des questions qui seront abordées ici. Presque tous les résultats sont présentés avec leurs preuves et de nombreux exercices (corrigés à la fin du livre) sont également inclus | ||
| 650 | |a Ensembles, Théorie des | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Problèmes et exercices | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 776 | 0 | |0 249142945 |t Théorie des ensembles et logique mathématique |o des infinis mathématiques aux théorèmes de Gödel |f Jacques Patarin |d 2020 |c Paris |n Ellipses |p 1 volume (VIII-292 p.) |s Références sciences |z 978-2-340-04100-4 | |
| 856 | |5 180332301:816534896 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88950049 |z Accès INSA CVL | ||
| 856 | 4 | |5 452349901:873412761 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88950049 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:873514157 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88950049 |z Accès INSA CVL | |
| 997 | |0 1396413 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||