http://blog.tuquoque.com/ Un peu de tout: XML et technologies associées, presse, édition, photos, métadonnées, documentation, taxonomies/folksonomies, systèmes éditoriaux, philosophie, épistémologie, mathématiques, histoire fr Mon, 30 Jun 2008 15:34:25 +0200 http://blogs.law.harvard.edu/tech/rss Dotclear http://blog.tuquoque.com/post/2008/03/07/LA-THESE-DE-CHURCH-%3A-HIER-AUJOURDHUI-DEMAIN urn:md5:54702ebe077959f97b3fbb8aedbefd57 Sun, 09 Mar 2008 11:44:00 +0100 Patrick Peccatte philosophie des mathématiques histoire des mathématiquesinformatique théoriquemathématiquesphilosophie des mathématiquesthèse de Church-Turing <p>« La thèse de Church - du nom du mathématicien Alonzo Church - est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur (plus précisément dans sa forme idéalisée qu'est une machine de Turing). Dans une forme plus élaborée, elle... <em><a href="http://blog.tuquoque.com/post/2008/03/07/LA-THESE-DE-CHURCH-%3A-HIER-AUJOURDHUI-DEMAIN">Lire</em> La thèse de Church : hier, aujourd'hui, demain</a></p> http://blog.tuquoque.com/post/2008/03/07/LA-THESE-DE-CHURCH-%3A-HIER-AUJOURDHUI-DEMAIN#comment-form http://blog.tuquoque.com/post/2008/03/07/LA-THESE-DE-CHURCH-%3A-HIER-AUJOURDHUI-DEMAIN#comment-form http://blog.tuquoque.com/feed/rss2/comments/217921 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 <p>Conférence de Jean-Yves Girard sur Canal-U le 17/06/2000 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... <em><a href="http://blog.tuquoque.com/post/2008/03/09/Les-fondements-des-mathematiques">Lire</em> Les fondements des mathématiques</a></p> 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