Les mathématiques et la bureaucratie ou le formalisme dans les mathématiques. (05 octobre 2008)

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.

 

 

18:42 | Tags : formalisme, girard, fondements, histoire, paradoxe, gödel | Lien permanent | Commentaires (0) |  Imprimer |  Facebook | | | | Pin it! |