http://blog.tuquoque.com/ Un peu de tout: presse, édition, photographie, XML, métadonnées, documentation, taxonomies/folksonomies, systèmes éditoriaux, philosophie analytique, philosophie de l'information, épistémologie, mathématiques, histoire, études visuelles, etc. fr Sun, 12 Oct 2008 14:58:12 +0200 http://blogs.law.harvard.edu/tech/rss Dotclear http://blog.tuquoque.com/post/2008/03/09/Les-fondements-des-mathematiques urn:md5:6778d102acd87a7158fc74f7ff35ab08 Sun, 09 Mar 2008 10:34:00 +0100 Patrick Peccatte philosophie des mathématiques formalismehistoire des mathématiquesintuitionnismemathématiquesphilosophie des mathématiques <br /> <a href="http://www.canal-u.tv/index.php/canalu/producteurs/universite_de_tous_les_savoirs/dossier_programmes/les_conferences_de_l_annee_2000/perspectives_sur_les_mathematiques_actuelles/les_fondements_des_mathematiques/"> Conférence de Jean-Yves Girard</a> sur <a href="http://www.canal-u.tv">Canal-U</a><br /> le 17/06/2000<br /> La &quot;crise des fondements&quot; s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le &quot;Programme de Hilbert &quot; (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien. http://blog.tuquoque.com/post/2008/03/09/Les-fondements-des-mathematiques#comment-form http://blog.tuquoque.com/post/2008/03/09/Les-fondements-des-mathematiques#comment-form http://blog.tuquoque.com/feed/rss2/comments/218183