Note moyenne : /5 (sur 0 notes)
Logiques, ensembles, catégories : Le point de vue constructif
Résumé :
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 t... >Voir plus