Logiques, ensembles, catégories Le point de vue constructif
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 [...]
[lire le résumé du livre]
Auteur : Pierre AGERON
Editeur : Ellipses
Collection : Mathématiques 2ème cycle
Date parution : 07/2000Alerte dispo
Cet ouvrage n'est momentanément plus disponible chez l'éditeur
CB Google/Apple Pay, Chèque, Virement
Quel est le sujet du livre "Logiques, ensembles, catégories Le point de vue constructif "
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.
Cours et exercices corrigés. En suivant ce lien, retrouvez tous les livres dans la spécialité Logique mathématique.