Un article de Wikipédia, l'encyclopédie libre.

Luitzen Egbertus Jan Brouwer (1881-1966) était un mathématicien néerlandais.

[] Biographie

Né le 27 février 1881 à Overschie (Rotterdam), mort le 2 décembre 1966 à Blaricum. Il soutient son doctorat le 16 juin 1904, à l'université d'Amsterdam, où il obtient une chaire en 1912. Jan Brouwer est devenu membre étranger de la Royal Society le 27 mai 1948.

[] Travaux

Brouwer est surtout connu pour son travail en topologie, entre autres le théorème du point fixe qui porte son nom. Son apport théorique à la logique formelle n'en fut pas pour autant négligeable. Dans sa célèbre conférence de Vienne en 1930 sur "la structure du continu" (Paris, 1992), il situe sa pensée dans le prolongement de celles de Kant et de Schopenhauer. Reprenant les théories euclidiennes, la théorie des ensembles de Cantor et la méthode axiomatique, Brouwer fut conduit à mettre en opposition le formalisme, qui considère les mathématiques comme un langage, et l'ancienne école intuitioniste, en partie liée au formalisme, pour qui l'arithmétique demeure une collection de jugements synthétiques à priori. Selon lui, le formalisme manque de base en ce qu'il limite au dénombrable achevé le nombre d'éléments composant le continu, en admettant la rationalité bornée des nombres et les coupures de Dedekind. Pour concevoir légitimement le continu en tant qu'unité totale, il est nécessaire d'en extraire une species de suites représentatives appropriées, c'est à dire convergentes particulières telle que ceux de ses éléments qui sont égaux soient associés à des éléments égaux du continuum d'unité totale, permettant ainsi de concevoir en théorie un ensemble n-finitaire pur caractérisé par une suite non bornée de choix de signes spécifiés.

Il fut donc avec Henri Poincaré, Hermann Weyl et Arend Heyting l'un des principaux artisans de la théorie des mathématiques intuitionnistes, d'après laquelle les mathématiques sont intuitives et ne peuvent pas être purement hypothético-déductives (par opposition au logicisme de Russell et Frege, au formalisme de Hilbert et au platonisme de Gödel).

[] Voir aussi

• Théorème du point fixe de Brouwer

• Portail de la logique
• Portail des mathématiques

 

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Luitzen Egbertus Jan Brouwer