Arend Heyting
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 | ||
---|---|---|
![]() | ||
Información personal | ||
Nacimiento |
9 de mayo de 1898 Ámsterdam (Países Bajos) | |
Fallecimiento |
9 de julio de 1980 Lugano (Suiza) | (82 años)|
Nacionalidad | Neerlandesa | |
Lengua materna | Neerlandés | |
Educación | ||
Educado en | Universidad de Ámsterdam (1916-1922) | |
Supervisor doctoral | Luitzen Egbertus Jan Brouwer | |
Alumno de | Luitzen Egbertus Jan Brouwer | |
Información profesional | ||
Ocupación | Matemático y profesor universitario | |
Área | Matemáticas y lógica | |
Empleador |
| |
Obras notables | ||
Miembro de | Real Academia de Artes y Ciencias de los Países Bajos | |