|
|
|
|
LEADER |
01460nam a22003257a 4500 |
001 |
313502 |
008 |
070507t20072007xxe ||| |||| 00| 0 fre d |
020 |
|
|
|a 9782705666347 (br.) :
|c 28 EUR
|
024 |
|
|
|a 9782705666347
|
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 l'imperfection
|
245 |
1 |
3 |
|a Le point aveugle :
|b cours de logique
|n Tome 2,
|p Vers l'imperfection
|c Jean-Yves Girard,...
|
260 |
|
|
|a Paris :
|b Hermann,
|c impr. 2007.
|
300 |
|
|
|a 1 vol. (XII-pp.283-567 [287 p.]) :
|b ill., couv. en coul. ;
|c 21 cm.
|
490 |
0 |
|
|a Visions des sciences
|
504 |
|
|
|a Bibliographie p. 543-546. Notes bibliogr.. Index
|
520 |
|
|
|a Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il développe une méthodologie de l'interprétation de l'imperfection, postulant une pérennité non pérenne qui s'exprime dans les logiques iconoclastes et la géométrie de l'interaction.
|
521 |
|
|
|a 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)
|
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 114335354
|
997 |
|
|
|0 313502
|