Luitzen Egbertus Jan Brouwer

Pour les articles homonymes, voir Brouwer.

Cet article est une ébauche concernant un mathématicien et la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Consultez la liste des tâches à accomplir en page de discussion.

L. E. J. Brouwer

Données clés

Naissance	17 février 1881 Overschie
Décès	2 décembre 1966 (à 85 ans) Blaricum
Nationalité	Hollandais
Champs	Mathématiques
Institutions	University of Amsterdam
Directeur de thèse	Diederik Korteweg
Étudiants en thèse	Arend Heyting Frans Loonstra
Distinctions	Fellow of the Royal Society[1]

Luitzen Egbertus Jan Brouwer, membre de la Royal Society^[2],[1], né le 27 février 1881 à Overschie (Rotterdam) et mort le 2 décembre 1966 à Blaricum, est un mathématicien néerlandais^[3].

Biographie

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

Cet article ou cette section peut contenir un travail inédit ou des déclarations non vérifiées. Vous pouvez aider en ajoutant des références. Voir la page de discussion pour plus de détails.

L'article doit être débarrassé d'une partie de son jargon. Sa qualité peut être largement améliorée en utilisant un vocabulaire plus directement compréhensible. Discutez des points à améliorer en page de discussion.

Brouwer est surtout connu pour son travail en topologie^[3], 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 a 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 est l'initiateur de la logique intuitionniste, formalisée par Arend Heyting, qui se caractérise par le rejet du principe du tiers exclu.

Références

Articles connexes

• Controverse Brouwer-Hilbert (en)
• Théorème du point fixe de Brouwer
• Théorème de Phragmén-Brouwer (en)
• Théorème de l'invariance du domaine
• Théorème de la boule chevelue
• Logique intuitionniste

• Portail de la logique
• Portail des mathématiques