$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Luitzen Egbertus Jan Brouwer (27 février 1881, Overschie (maintenant une partie de Rotterdam) - 2 décembre 1966, Blaricum)

Luitzen Egbertus Jan Brouwer est un grand mathématicien hollandais du début du XXè s. Né d'un père proviseur, il réalise des études secondaires très brillantes, et très rapides. A l'université d'Amsterdam, il est formé par Korteweg, qui est connu pour des contributions en mathématiques appliquées. Il soutient son doctorat le 16 juin 1904.

De 1909 à 1913, Brouwer s'intéresse à la topologie, et découvre la majeure partie des théorèmes auxquels son nom est resté attaché, dont son fameux théorème du point fixe. Pour beaucoup, Brouwer est le père de la topologie moderne.

En 1912, il obtient grâce aux recommandations de Hilbert une chaire à l'Université d'Amsterdam. Il y enseigne la théorie des ensembles, celle des fonctions, et l'axiomatique. Plus tard, il refusera de rejoindre Hilbert à Göttingen. La Première Guerre mondiale, et sa santé fragile, l'éloignent quelque temps des champs de la recherche scientifique. Quand il y revient, c'est pour se consacrer à ses premières amours (sa thèse portait déjà sur ce sujet) : les fondements des mathématiques.

Brouwer est, avec Poincaré, le fer de lance des mathématiques intuitionnistes, par opposition au logicisme de Russel et Frege, et au formalisme de Hilbert. En particulier, pour Brouwer, un théorème d'existence ne peut être vrai que si on peut exhiber un processus, même formel, de construction. Cela le conduit notamment à rejeter la loi du tiers-exclu, qui dit qu'une propriété est soit vraie, soit fausse ! Les preuves ainsi obtenues sont souvent plus longues, mais Brouwer fut capable de réécrire des traités de théorie des ensembles, de théorie de la mesure, et de théorie des fonctions en se conformant aux règles de l'intuitionnisme.

Bizarrement, Brouwer n'enseigna jamais la topologie. C'est probablement que les théorèmes que lui-même avait prouvés ne rentraient plus dans le cadre qu'il s'était fixé. Selon les témoignages de quelques-uns de ses étudiants, c'était un personnage vraiment étrange, fou amoureux de sa philosophie, et un professeur auquel il ne fallait surtout pas poser de questions !

Les entrées du Dicomaths correspondant à Brouwer

Les mathématiciens contemporains de Brouwer (né en 1881)
  • Pavel Alexandrov (né en 1896)
  • Emil Artin (né en 1898)
  • René Baire (né en 1874)
  • Stefan Banach (né en 1892)
  • Félix Bernstein (né en 1878)
  • Serguei Bernstein (né en 1880)
  • George David Birkhoff (né en 1884)
  • Harald Bohr (né en 1887)
  • Émile Borel (né en 1871)
  • Constantin Carathéodory (né en 1873)
  • Elie Cartan (né en 1869)
  • André-Louis Cholesky (né en 1875)
  • Richard Courant (né en 1887)
  • Pierre Fatou (né en 1878)
  • Lipót Fejér (né en 1880)
  • John Charles Fields (né en 1863)
  • Ronald Aylmer Fisher (né en 1890)
  • Maurice Fréchet (né en 1878)
  • Guido Fubini (né en 1879)
  • René Gateaux (né en 1889)
  • Thomas Hakon Grönwall (né en 1877)
  • Jacques Hadamard (né en 1865)
  • Hans Hahn (né en 1879)
  • Georg Hamel (né en 1877)
  • Godfrey Harold Hardy (né en 1877)
  • Félix Hausdorff (né en 1868)
  • David Hilbert (né en 1862)
  • Gaston Julia (né en 1893)
  • Charles-Jean de La Vallée Poussin (né en 1866)
  • Edmund Landau (né en 1877)
  • Henri Lebesgue (né en 1875)
  • Solomon Lefschetz (né en 1884)
  • Paul Lévy (né en 1886)
  • John Littlewood (né en 1885)
  • Szolem Mandelbrojt (né en 1899)
  • Hermann Minkowski (né en 1864)
  • Paul Montel (né en 1876)
  • Louis Mordell (né en 1888)
  • Rolf Nevanlinna (né en 1895)
  • Emmy Noether (née en 1882)
  • Alessandro Padoa (né en 1868)
  • Paul Painlevé (né en 1863)
  • Michel Plancherel (né en 1885)
  • Emil Leon Post (né en 1897)
  • Srinivasa Ramanujan (né en 1887)
  • Frigyes Riesz (né en 1880)
  • Bertrand Russell (né en 1872)
  • Issai Schur (né en 1875)
  • Waclaw Sierpiński (né en 1882)
  • Hugo Steinhaus (né en 1887)
  • Teiji Takagi (né en 1875)
  • Otto Toeplitz (né en 1881)
  • Pavel Urysohn (né en 1898)
  • Hermann Weyl (né en 1885)
  • Norbert Wiener (né en 1894)
  • Oscar Zariski (né en 1899)
  • Ernst Zermelo (né en 1871)