Logique, ensembles, catégories / Pierre Ageron (impr. 2000, cop. 2000)

Public ISBD Titre : Logique, ensembles, catégories : le point de vue constructif Type de document : texte imprime Auteurs : Pierre Ageron Editeur : Paris : Ellipses Année de publication : impr. 2000, cop. 2000 Collection : Mathématique Importance : 117 p. Présentation : couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-0245-5 Note générale : Bibliogr. p. [116]-117. Index Langues : Français Mots-clés : Logic, Symbolic and mathematical  Set theory.  Mathematics :textbooks Index. décimale : 511.351 Résumé : Licence 3ème année et Master Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle "une proposition" ou "un ensemble"), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large Public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés. Note de contenu : Avant-propos Leçon 1 principe du tiers exclu Leçon 2 logique intuitionniste Leçon 3 ensembles Leçon 4 entiers naturels Leçon 5 axiome du choix Leçon 6 équipotence, subpotence Leçon 7 polynômes d'ensembles Leçon 8 théorème de Cantor Leçon 9 théorème de Cantor-Bernstein Leçon 10 simplification cardinale Leçon 11 finitude Leçon 12 réflexivité Leçon 13 dénombrabilité Leçon 14 ensembles bien ordonnés Leçon 15 comparaison des ensembles bien ordonnés Leçon 16 construction de Kruse Leçon 17 ordinaux Leçon 18 construction de Hartogs Leçon 19 théorème de Specker Leçon 20 hypothèse généralisée du continu Leçon 21 théorèmes de Zermelo et de König Leçon 22 graphes réflexifs Leçon 23 limites projectives Leçon 24 limites inductives Leçon 25 interversion de limites Leçon 26 ensembles ordonnés complets Leçon 27 catégories Leçon 28 catégories complètes Leçon 29 diagrammes initiaux Leçon 30 points fixes de foncteurs Bibliographie Index des notions Index des noms Permalink : ./index.php?lvl=notice_display&id=12449 Logique, ensembles, catégories : le point de vue constructif [texte imprime] / Pierre Ageron . - Paris : Ellipses, impr. 2000, cop. 2000 . - 117 p. : couv. ill. ; 26 cm. - (Mathématique) . ISBN : 978-2-7298-0245-5 Bibliogr. p. [116]-117. Index Langues : Français Mots-clés : Logic, Symbolic and mathematical  Set theory.  Mathematics :textbooks Index. décimale : 511.351 Résumé : Licence 3ème année et Master Ce petit livre traite de quelques aspects des fondements des mathématiques. Il reprend un cours semestriel de maîtrise de mathématiques, enseigné à l'Université de Caen. En évitant volontairement de soulever des difficultés a priori (par exemple sur ce qu'on appelle "une proposition" ou "un ensemble"), il présente une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix). Il développe ensuite la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories, en mettant l'accent sur les aspects de ces théories qui ne deviennent féconds qu'en l'absence de ces postulats. L'information précise ici rassemblée sur les mathématiques constructives est difficile d'accès et en grande partie inédite en langue française : pour cette raison, ce livre d'abord conçu comme un manuel devrait aussi intéresser un large Public concerné par la philosophie des mathématiques. Les aspects historiques y bénéficient d'une place importante et d'une information mise à jour. Découpé en trente brèves leçons, le cours est accompagné d'exercices corrigés. Note de contenu : Avant-propos Leçon 1 principe du tiers exclu Leçon 2 logique intuitionniste Leçon 3 ensembles Leçon 4 entiers naturels Leçon 5 axiome du choix Leçon 6 équipotence, subpotence Leçon 7 polynômes d'ensembles Leçon 8 théorème de Cantor Leçon 9 théorème de Cantor-Bernstein Leçon 10 simplification cardinale Leçon 11 finitude Leçon 12 réflexivité Leçon 13 dénombrabilité Leçon 14 ensembles bien ordonnés Leçon 15 comparaison des ensembles bien ordonnés Leçon 16 construction de Kruse Leçon 17 ordinaux Leçon 18 construction de Hartogs Leçon 19 théorème de Specker Leçon 20 hypothèse généralisée du continu Leçon 21 théorèmes de Zermelo et de König Leçon 22 graphes réflexifs Leçon 23 limites projectives Leçon 24 limites inductives Leçon 25 interversion de limites Leçon 26 ensembles ordonnés complets Leçon 27 catégories Leçon 28 catégories complètes Leçon 29 diagrammes initiaux Leçon 30 points fixes de foncteurs Bibliographie Index des notions Index des noms Permalink : ./index.php?lvl=notice_display&id=12449

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MTH161/1	MTH161	Livre	Magasin d'Ouvrages / FGE	Mathématique	Consultation sur place Exclu du prêt
MTH161/2	MTH161	Livre	Magasin d'Ouvrages / FGE	Mathématique	Disponible
MTH161/3	MTH161	Livre	Magasin d'Ouvrages / FGE	Mathématique	Disponible
MTH161/4	MTH161	Livre	Magasin d'Ouvrages / FGE	Mathématique	Disponible
MTH161/5	MTH161	Livre	Magasin d'Ouvrages / FGE	Mathématique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1