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><em>Anniversaire</em><br /> « Le mathématicien néerlandais <a href="http://fr.wikipedia.org/wiki/Luitzen_Egbertus_Jan_Brouwer" target="_blank">Luitzen Egbertus Jan Brouwer</a> est né le <strong>27 février</strong> 1881.<br /> Il est surtout connu pour son travail en topologie, entre autres le <a href="http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_point_fixe_de_Brouwer" target="_blank">théorème du point fixe</a> qui porte son nom.<br /> Il fut avec Henri Poincaré, Hermann Weyl et Arend Heyting l'un des principaux artisans de la théorie des <a href="http://fr.wikipedia.org/wiki/Intuitionnisme">mathématiques intuitionnistes</a> .../... »</p> <p>Ce courant est à l'origine des différents courants <a href="http://fr.wikipedia.org/wiki/Constructivisme_%28math%C3%A9matiques%29">constructivistes</a> modernes en philosophie des mathématiques.</p> <p>D'après <a href="http://mathblogger.free.fr/index.php?entry=entry080227-090230">Blog à Maths</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