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/02/27/Brouwer-%3A-point-fixe-et-intuitionnisme urn:md5:69e99057864c2088291a29c1877e87a5 Wed, 27 Feb 2008 09:44:00 +0100 Patrick Peccatte histoire des mathématiques constructivismehistoire des mathématiquesintuitionnismemathématiquesphilosophie des mathématiques <p>Anniversaire « Le mathématicien néerlandais Luitzen Egbertus Jan Brouwer est né le 27 février 1881. Il est surtout connu pour son travail en topologie, entre autres le théorème du point fixe qui porte son nom. Il fut avec Henri Poincaré, Hermann Weyl et Arend Heyting l'un des principaux artisans de la théorie des mathématiques intuitionnistes... <em><a href="http://blog.tuquoque.com/post/2008/02/27/Brouwer-%3A-point-fixe-et-intuitionnisme">Lire</em> Brouwer : point fixe et intuitionnisme</a></p> http://blog.tuquoque.com/post/2008/02/27/Brouwer-%3A-point-fixe-et-intuitionnisme#comment-form http://blog.tuquoque.com/post/2008/02/27/Brouwer-%3A-point-fixe-et-intuitionnisme#comment-form http://blog.tuquoque.com/feed/rss2/comments/214384 http://blog.tuquoque.com/post/2008/02/19/History-of-Lambda-Calculus-and-Combinatory-logic urn:md5:abbd53d9c0dd1cc91e688e87315cd5e2 Wed, 20 Feb 2008 10:02:00 +0100 Patrick Peccatte histoire des mathématiques histoire des mathématiquesinformatique théoriquemathématiquessignalements <p>The formal systems that are nowadays called λ-calculus and combinatory logic were both invented in the 1920s, and their aim was to describe the most basic properties of function-abstraction, application and substitution in a very general setting. In λ-calculus the concept of abstraction was taken as primitive, but in combinatory logic it was defined... <em><a href="http://blog.tuquoque.com/post/2008/02/19/History-of-Lambda-Calculus-and-Combinatory-logic">Lire</em> History of Lambda-Calculus and Combinatory logic</a></p> http://blog.tuquoque.com/post/2008/02/19/History-of-Lambda-Calculus-and-Combinatory-logic#comment-form http://blog.tuquoque.com/post/2008/02/19/History-of-Lambda-Calculus-and-Combinatory-logic#comment-form http://blog.tuquoque.com/feed/rss2/comments/211414