Arend Heyting

Arend Heyting
Información personal
Nacimiento 9 de mayo de 1898 Ver y modificar los datos en Wikidata
Ámsterdam (Países Bajos) Ver y modificar los datos en Wikidata
Fallecimiento 9 de julio de 1980 Ver y modificar los datos en Wikidata (82 años)
Lugano (Suiza) Ver y modificar los datos en Wikidata
Nacionalidad Neerlandesa
Lengua materna Neerlandés Ver y modificar los datos en Wikidata
Educación
Educado en Universidad de Ámsterdam (1916-1922) Ver y modificar los datos en Wikidata
Supervisor doctoral Luitzen Egbertus Jan Brouwer Ver y modificar los datos en Wikidata
Alumno de Luitzen Egbertus Jan Brouwer Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático y profesor universitario Ver y modificar los datos en Wikidata
Área Matemáticas y lógica Ver y modificar los datos en Wikidata
Empleador
  • sin etiquetar (1922-1936)
  • Universidad de Ámsterdam (1937-1948)
  • Universidad de Ámsterdam (1948-1965)
  • Universidad de Ámsterdam (1965-1968)
  • Universidad de Ámsterdam (1965-1968) Ver y modificar los datos en Wikidata
Obras notables
Miembro de Real Academia de Artes y Ciencias de los Países Bajos Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica. Fue un estudiante de L.E.J. Brouwer, se trata de un fundador de un álgebra especial que presenta modelos de la lógica intuicionista es decir una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.

Véase también

[editar]

Enlaces externos

[editar]