Les mathématiques et la bureaucratie ou le formalisme dans les mathématiques.
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.