Synthèse de l'évolution historique et conceptuelle de la théorie des types, de ses fondements logiques posés par B. Russell jusqu'aux avancées contemporaines des types dépendants. L'auteur explore les diverses facettes de cette discipline, outil indispensable pour la vérification formelle des preuves mathématiques assistée par ordinateur et champ de recherche théorique riche. ©Electre 2026
Chaire informatique et sciences numériques 2024-2025
Introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en mathématique si l'on utilise de manière trop naïve la notion de collection d'objets, la théorie des types a été raffinée par la notion de type dépendant. Outre son rôle important dans la formalisation des preuves mathématiques, cette notion présente également un intérêt conceptuel intrinsèque en logique et en informatique. Ce livre retrace l'histoire récente de ces découvertes, de la vérification des preuves sur ordinateur à la synergie qui est en train de s'établir entre la théorie des types dépendants et la théorie de l'homotopie.
Paru le : 19/03/2026
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : Thierry Coquand
Éditeur(s) :
Collège de France
Collection(s) : Leçons inaugurales du Collège de France
Série(s) : Non précisé.
ISBN : 978-2-7226-0873-3
EAN13 : 9782722608733
Reliure : Broché
Pages : 54
Hauteur: 19.0 cm / Largeur 13.0 cm
Épaisseur: 0.7 cm
Poids: 78 g
Carte fidélité
Mollat Radio
