« Le chant du rossignol :) | Page d'accueil | Irrécupérable ! »
05 octobre 2008
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 Peano
- 06:34Mathématique v.s informatique
- 12:20Paradoxes
- 04:40Les formalistes
- 10:58Imcomplétude
- 08:28Intuitionnismes
- 11:08Questions
18:42 Publié dans Culture Générale, Débats, Livres et citations, Monde numérique, Paradoxes, limitations,erreurs, Philosophie, Vidéos | Lien permanent | Commentaires (0) | Tags : formalisme, girard, fondements, histoire, paradoxe, gödel | 
| | 
Imprimer |
Trackbacks
Voici l'URL pour faire un trackback sur cette note : http://www.inclassablesmathematiques.fr/trackback/1829787
Écrire un commentaire
NB : Les commentaires de ce blog sont modérés.