Luitzen Egbertus Jan Brouwer

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Luitzen Egbertus Jan Brouwer
Información personal
Nacimiento 27 de febrero de 1881
Overschie, Países Bajos
Fallecimiento 2 de diciembre de 1966
(85 años)
Blaricum, Países Bajos
Causa de muerte Accidente de tráfico
Nacionalidad Flag of the Netherlands.svg Holandés
Lengua materna Neerlandés
Educación
Alma máter
Supervisor doctoral Diederik Korteweg
Información profesional
Ocupación Matemático, filósofo, topólogo y catedrático de universidad
Área Análisis matemático, lógica matemática, teoría de conjuntos y topología
Empleador
  • Universidad de Ámsterdam
Miembro de
[editar datos en Wikidata]

Luitzen Egbertus Jan Brouwer (por lo general citado como L.E.J. Brouwer y conocido entre sus amigos como Bertus) (27 de febrero de 1881 - 2 de diciembre de 1966), fue un matemático y filósofo holandés, que trabajó en topología, teoría de conjuntos, teoría métrica y análisis complejo.[1] [2] [3] Fue el fundador de la filosofía matemática del intuicionismo.

Biografía[editar]

Topología

Al principio de su carrera, Brouwer demostrado un buen número de teoremas que fueron avances significativos en el campo emergente de la topología. El resultado más célebre fue su prueba de la invarianza del dominio. Entre sus otros resultados, también es bien conocido el teorema del punto fijo de Brouwer. También demostró el teorema de aproximación simplicial como una de las bases de la topología algebraica, lo que justifica la reducción en términos combinatorios, después de la subdivisión suficiente de un complejo simplicial para el tratamiento de aplicaciones continuas generales. En 1912, a los 31 años, fue elegido miembro de la Real Academia Holandesa de las Artes y las Ciencias.[4]

Intuicionismo

Brouwer ideó la filosofía matemática que denominó intuicionismo, en oposición al entonces vigente formalismo de David Hilbert y sus colaboradores, como Paul Bernays, Wilhelm Ackermann o John von Neumann (cf. Kleene (1952), p. 46-59). Como una variedad del constructivismo matemático, el intuicionismo es esencialmente una filosofía de la fundamentos de las matemáticas.[5] De forma un tanto simplista, en ocasiones se caracteriza a sus seguidores indicando que se niegan a utilizar en el razonamiento matemático el principio del tercero excluido.

Brouwer fue miembro del Significs group. Formó parte de la historia temprana de la semiótica, el estudio de los símbolos centrado alrededor de la pensadora británica Victoria, Lady Welby en particular. El significado original de su intuicionismo probablemente no puede ser desligado por completo del ambiente intelectual de ese grupo.

En 1905, a la edad de 24 años, Brouwer expresó su filosofía de la vida en un corto tratado con el título La vida, arte y misticismo descrito por Davis como "empapado en el pesimismo romántico" (Davis (2002), p & nbsp; 94). Arthur Schopenhauer tuvo una influencia formativa en Brouwer, entre otras cosas porque insistió en que todos los conceptos se basan fundamentalmente en intuiciones sensibles.[6] [7] [8]

Posteriormente, Brouwer "se embarcó en una campaña de justicia propia para reconstruir la práctica matemática a partir de cero con el fin de satisfacer sus convicciones filosóficas"; de hecho, su director de tesis se negó a aceptar su Capítulo II, aduciendo que ...todo está entretejido con algún tipo de pesimismo y una actitud mística a la vida que no es la matemática, ni tiene nada que ver con los fundamentos de las matemáticas" (Davis , p. 94 citando Stigt, p. 41). Sin embargo, en 1908: "... Brouwer, en un artículo titulado "La falta de confiabilidad de los principios de la lógica", desafió la creencia de que las reglas de la lógica clásica, que han llegado hasta nosotros esencialmente a través de Aristóteles (384 a -322 aC), son conjuntos validez absoluta, independiente de la materia a la cual se aplican" (Kleene (1952), p. 46).

"Mientras estaba terminando su tesis doctoral (1907 - véase Van Dalen), Brouwer tomó una decisión consciente para mantener sus ideas más polémicas temporalmente en secreto y concentrarse en demostrar su destreza matemática" (Davis (2000), p & nbsp; 95.). Hacia 1910 ya había publicado una serie de documentos importantes, en particular, el teorema del punto fijo. El formalista Hilbert (con quien el intuicionista Brouwer en última instancia pasaría años discutiendo) admiraba al joven matemático y le ayudó a recibir un nombramiento académico regular (1912) en la Universidad de Ámsterdam (Davis, p. & Nbsp; 96). Fue entonces cuando "Brouwer se sintió libre para regresar a su proyecto revolucionario, que ahora estaba llamando intuicionismo" (ibid).

Siendo un hombre joven, se mostró muy combativo. Estuvo involucrado en una controversia pública muy degradante en la década de 1920 con Hilbert sobre la política editorial de los Mathematische Annalen , en ese momento una revista de referencia, quedando relativamente aislado; por lo que el intuicionismo fue desarrollado tras el impulso inicial por su alumno Arend Heyting.

El matemático holandés e historiador de las matemáticas, Bartel Leendert van der Waerden asistió a conferencias impartidas por Brouwer en sus últimos años, y comentó:

"A pesar de que las contribuciones más importantes de su investigación fueron en topología, Brouwer nunca dio cursos sobre topología, pero sí -y sólo sí- sobre las bases de su intuicionismo. Parecía que ya no estaba convencido de sus resultados en topología debido a que no eran correctas desde el punto de vista del intuicionismo, y juzgó todo lo que había hecho antes, su mayor producción, falso de acuerdo con su filosofía."[9]

Sobre sus últimos años, Davis (2002) señala: "... Se sentía cada vez más aislado, y pasó sus últimos años bajo el hechizo de 'preocupaciones financieras totalmente de fundamento y con un temor paranoico a la quiebra, la persecución y la enfermedad'. Murió en 1966 a la edad de 85 años, atropellado por un vehículo al cruzar la calle frente a su casa ". (Davis, p. 100, citando Stigt. P. 110.)

Reconocimientos[editar]

Enlaces externos[editar]

Referencias[editar]

  1. Luitzen Egbertus Jan Brouwer en el Mathematics Genealogy Project.
  2. O'Connor, John J.; Robertson, Edmund F., «Luitzen Egbertus Jan Brouwer» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Brouwer.html .
  3. Luitzen Egbertus Jan Brouwer entry by Mark van Atten in the Stanford Encyclopedia of Philosophy
  4. «Luitzen E.J. Brouwer (1881 - 1966)». Royal Netherlands Academy of Arts and Sciences. Consultado el 21 de julio de 2015. 
  5. L. E. J. Brouwer (trans. by Arnold Dresden) (1913). «Intuitionism and Formalism». Bull. Amer. Math. Soc. 20 (2): 81-96. doi:10.1090/s0002-9904-1913-02440-6. MR 1559427. 
  6. "...Brouwer y Schopenhauer son en muchos aspectos dos de la misma clase." Teun Koetsier, Mathematics and the Divine, Chapter 30, "Arthur Schopenhauer and L.E.J. Brouwer: A Comparison," p. 584.
  7. Brouwer escribió que "la interpretación original del continuo de Kant y Schopenhauer es puramente intuición a priori, que en esencia puede ser asumida." (Quoted in Vladimir Tasić's Mathematics and the roots of postmodernist thought, § 4.1, p. 36)
  8. “Brouwer’s debt to Schopenhauer is fully manifest. For both, Will is prior to Intellect." [see T. Koetsier. “Arthur Schopenhauer and L.E.J. Brouwer, a comparison,” Combined Proceedings for the Sixth and Seventh Midwest History of Mathematics Conferences, pages 272–290. Department of Mathematics, University of Wisconsin-La Crosse, La Crosse, 1998.]. (Mark van Atten and Robert Tragesser, “Mysticism and mathematics: Brouwer, Gödel, and the common core thesis,” Published in W. Deppert and M. Rahnfeld (eds.), Klarheit in Religionsdingen, Leipzig: Leipziger Universitätsverlag 2003, pp.145–160)
  9. «Interview with B L van der Waerden, reprinted in AMS March 1997». American Mathematical Society. Consultado el 13 de noviembre de 2015. 
  10. Kreisel, G.; Newman, M. H. A. (1969). «Luitzen Egbertus Jan Brouwer 1881–1966». Biographical Memoirs of Fellows of the Royal Society 15: 39. doi:10.1098/rsbm.1969.0002.