|
|
|
|
| LEADER |
01693nam a22003377a 4500 |
| 001 |
313503 |
| 008 |
061009s2006 xxe ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 2705666338
|z 270566633X (br.) :
|c 27 EUR
|
| 024 |
|
|
|a 9782705666330
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 511.3
|
| 082 |
|
|
|a 160
|
| 084 |
|
|
|a G.m
|
| 100 |
1 |
|
|a Girard, Jean-Yves,
|d 1947-
|
| 240 |
1 |
0 |
|a Vers la perfection
|
| 245 |
1 |
3 |
|a Le point aveugle :
|b cours de logique
|n Tome 1,
|p Vers la perfection
|c Jean-Yves Girard,...
|
| 260 |
|
|
|a Paris :
|b Hermann,
|c DL 2006.
|
| 300 |
|
|
|a 1 vol. (XVI-280 p.) :
|b fig., couv. en coul. ;
|c 21 cm.
|
| 490 |
0 |
|
|a Visions des sciences
|
| 504 |
|
|
|a Bibliographie p. [265]-268. Notes bibliographiques. Index
|
| 505 |
1 |
|
|a 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)
|
| 520 |
|
|
|a 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...).
|
| 521 |
|
|
|a L'ouvrage s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Incomplétude, Théorèmes d'
|
| 650 |
|
|
|a Mathématiques
|x Philosophie
|
| 650 |
|
|
|a Épistémologie
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 109410092
|
| 997 |
|
|
|0 313503
|