Aurait-on pu confier le théorème de Fermat à un groupe d'Enarques qui nous auraient fait des directives, des super-directives ? Y seraient-ils arrivés en 300 ans? C'est impossible, il faut des idées!
Jean-Yves Girard (au sujet du formalisme en mathématiques - 19.45)
Une excellente conférence pleine d'humour.
- Introduction
- 10:10L'arithmétique de Peanoatique>04:40Les formalistes=" />11:08Questions