Monographie
Le point aveugle : cours de logique. 1, Vers la perfection [Texte imprimé] / Girard, Jean-Yves
Type de contenu
- Texte
Type de médiation
- sans médiation
Titre(s)
- Le point aveugle : cours de logique. 1, Vers la perfection [Texte imprimé] / Girard, Jean-Yves
Auteur(s)
Editeur, producteur
- Paris : Hermann, DL 2006
- (53-Bonchamp-lès-Laval; Impr. Barnéoud)
Description matérielle
- 1 vol. (XII-280 p.)
Collection
- Visions des sciences
ISBN
- 2-7056-6633-8
EAN
- 9782705666330
Appartient à la collection
- Visions des sciences 1953-2423 2006
Classification décimale Dewey
- 511.3 23
Résumé ou extrait
- Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard (interprétations fonctionnelles, le système F...) ; La logique linéaire (espaces cohérents, perfection et imperfection...).
Sujet(s)
Sujet - Nom commun
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)