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.

• Introduction
• 10:10L'arithmétique de Peanoatique>04:40Les formalistes=" />11:08Questions