Le point aveugle : Tome 1, Vers la perfection cours de logique
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre |
| 语言: | Français |
| 出版: |
Paris :
Hermann,
DL 2006.
|
| 丛编: | Visions des sciences
|
| 主题: | |
| Autres localisations: | Voir dans le Sudoc |
| 总结: | 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...). |
书本目录:
- L'ouvrage rassemble les notes d'un cours donné dans le cadre de l'Université franco-italienne, d'octobre à décembre 2004, à l'Università Roma Tre (Dipartimento di filosofia)