Couverture
image_key: 978/27/22/9782722608733_d0480a4faca066da
Informations
La théorie des types, de Russell aux assistants à la démonstration
Thierry Coquand
Dernière mise à jour : 16/03/2026
0%
Fiche complétée
Éditeur
College France
Collection
Leçons inaugurales
Série
—
Numéro de série
—
Format
Broché
Présentation
Poche
Parution
19-03-2026
Pages
64
Poids
78
Largeur
12
Hauteur
18.5
Épaisseur
0.6
Classification
Sciences humaines et sociales, Lettres > Philosophie > Epistémologie, philosophie des sciences, logique
Sélectionnez une catégorie jusqu’au niveau le plus précis disponible.
Image key
978/27/22/9782722608733_d0480a4faca066da
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.
API (debug)
/api/v1/lookup?ean=9782722608733
Librairies
Outils de recherche:
(liste non exaustive)
Vous constatez une erreur ?
Connectez-vous pour proposer une correction et recevoir 20 crédits MetasBooks après validation.