Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Ageron Pierre

Titre : Logique, ensemble, catégories. Le point de vue constructif.

Editeur : Ellipses Paris, 2000 Collection : Mathématiques pour le 2e cycle. cours et exercices corrigés
Format : 17,5 x 26 cm, 128 p. Bibliogr. p. 116-117, Index des notions, Index des noms
ISBN : 2-7298-0245-2 EAN : 9782729802455

Type : manuel scolaire Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant Niveau Niveau scolaire visé par l'article : master Age : 21, 22, 23

Classification : U25Manuels scolaires. Analyse des manuels scolaires, développement et évaluation des manuels. Utilisation des manuels scolaires dans la classe. 

Résumé :

Cours de niveau maîtrise et au-delà qui "après une discussion approfondie des grands postulats non constructifs des mathématiques (principe du tiers exclu et axiome du choix), développe 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".
Le livre intéressera également pour son côté "philosophie et histoire des maths" relatif aux débats liés aux mathématiques constructives.
L'ensemble est réparti en 30 "leçons". Chacune précise clairement ses objectifs, commente, situe historiquement et se termine par quelques exercices suivis par leurs solutions.

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

Notes :
Cette publication est l'objet d'une recension sous la rubrique "matériaux pour une documentation" du Bulletin de l'APMEP n° 433.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 06/10/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN