Luitzen Egbertus Jan Brouwer

Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer Harald Bohr (esquerda) e Luitzen Egbertus Jan Brouwer (direita)
Teorema do ponto fixo de Brouwer
Nascimento	27 de fevereiro de 1881 Overschie
Morte	2 de dezembro de 1966 (85 anos) Blaricum
Nacionalidade	Neerlandês
Cidadania	Reino dos Países Baixos
Irmão(ã)(s)	Hendrik Albertus Brouwer
Alma mater	Universidade de Amsterdã
Ocupação	matemático, filósofo, topologista, professor universitário, escritor
Distinções	Knight of the Order of the Netherlands Lion honorary doctorate of the University of Oslo Doutor Honoris Causa da Universidade de Cambridge Membro Estrangeiro da Royal Society (1948)
Empregador(a)	Universidade de Amsterdã, Universidade de Amsterdã, Universidade de Amsterdã, Universidade de Amsterdã
Orientador(a)(es/s)	Diederik Korteweg
Orientado(a)(s)	Arend Heyting, Frans Loonstra
Instituições	Universidade de Amsterdã
Campo(s)	Matemática
Tese	1907: Over de grondslagen der wiskunde
Obras destacadas	controvérsia de Brouwer–Hilbert, teorema do ponto fixo de Brouwer, Grafo de Brouwer-Haemers, Phragmen–Brouwer theorem, Interpretação de Brouwer–Heyting–Kolmogorov, ordem de Kleene–Brouwer, Teorema da bola cabeluda
Causa da morte	acidente rodoviário
[edite no Wikidata]

Luitzen Egbertus Jan Brouwer, mais conhecido como L. E. J. Brouwer (Overschie, 27 de fevereiro de 1881 — Blaricum, 2 de dezembro de 1966), foi um matemático holandês.

Graduado na Universidade de Amsterdã, trabalhou em topologia, teoria dos conjuntos, medida matemática e análise complexa. O teorema do ponto fixo de Brouwer foi batizado em sua homenagem. Ele provou o teorema da aproximação simplicial nos fundamentos da topologia algébrica, que justifica a redução a termos combinatórios, após sucessivas e suficientes subdivisões em complexos simpliciais, no tratamento de mapeamentos contínuos em geral.

Brouwer aderiu à corrente filosófica do intuicionismo na matemática. Esta é uma variação da matemática construtivista. É algumas vezes, e bem simplificadamente caracterizada, dizendo-se que seus adeptos recusam-se a usar a "lei do terceiro excluído" no raciocínio matemático. Brouwer de facto fundou o intuicionismo matemático, como oposto da linha dominante do formalismo.

Suas ideias foram inicialmente expostas em Beweis des Jordanschen Satzes für N Dimensionen (1912) ("Prova do Teorema de Jordan para N dimensões"). Ele deixou de expor alguns dos princípios fundamentais, tais como a "tripla negação" na lógica intuicionista, a qual foi posteriormente retomada por Andrei Kolmogorov e (durante certo tempo) por Hermann Weyl, com atitudes um pouco diferentes. Brouwer passou muito tempo em busca da teoria intuicionista dos números reais, os quais chamou de espécies. Este esforço poderia hoje ser considerado fora de propósito: não há uma única teoria. O intuicionismo posteriormente tornou-se mais respeitado, quando Kurt Gödel e posteriormente Stephen Kleene o ajustaram à lógica matemática.

Ele foi combativo quando jovem. Envolveu-se numa controvérsia pública e até mesmo aviltante com David Hilbert em fins dos anos 1920, sobre a política editorial de Mathematische Annalen, na época um jornal especializado. Politicamente Brouwer era pró-Alemanha. Ele se tornou relativamente isolado. O desenvolvimento do intuicionismo na sua origem foi feito por seu aluno Arend Heyting.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Roma (1908: Die moeglichen Maechtigkeiten) e Cambridge (1912).

Bibliografia

Literatura primária, em inglês:

• Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.
  • 1923. "On the significance of the principle of excluded middle in mathematics, especially in function theory." With two Addenda and corrigenda, 334-45.
  • 1927. "The foundations of mathematics," 464-80
  • 1927. "Intuitionistic reflections on formalism," 490-92.
• Ewald, William B., ed., 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols. Oxford Univ. Press.
  • 1928. "Mathematics, science, and language," 1170-85.
  • 1928. "The structure of the continuum," 1186-96.
  • 1952. "Historical background, principles, and methods of intuitionism," 1197-1207.

Secundária:

• Van Dalen, Dirk. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Oxford Univ. Press.
  • 1999. Volume 1: The Dawning Revolution.
  • 2005. Volume 2: Hope and Disillusion.

Ligações externas

• O'Connor, John J.; Robertson, Edmund F., «Luitzen Egbertus Jan Brouwer», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews 
• Luitzen Egbertus Jan Brouwer (em inglês) no Mathematics Genealogy Project
• Stanford Encyclopedia of Philosophy