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.

Arend Heyting
Arend Heyting (1967).jpg
Información personal
Nacimiento 9 de mayo de 1898 Ver y modificar los datos en Wikidata
Ámsterdam, Reichskommissariat Niederlande 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 Ver y modificar los datos en Wikidata
Lengua materna Neerlandés Ver y modificar los datos en Wikidata
Educación
Alma máter
Supervisor doctoral 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
Empleador
  • Universidad de Ámsterdam Ver y modificar los datos en Wikidata
Miembro de
[editar datos en Wikidata]

Véase tambiénEditar

Enlaces externosEditar