Arend Heyting

Arend Heyting
Información personal
Nacimiento	9 de mayo de 1898; Ámsterdam (Países Bajos)
Fallecimiento	9 de julio de 1980 (82 años); Lugano (Suiza)
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, profesor universitario y lógico
Área	Matemáticas y lógica
Empleador	Enschede Municipal Lyceum (1922-1936); Universidad de Ámsterdam (1937-1948); Universidad de Ámsterdam (1948-1965); Universidad de Ámsterdam (1965-1968);
Obras notables	álgebra de Heyting; Aritmética de Heyting;
Miembro de	Real Academia de Artes y Ciencias de los Países Bajos

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.

Philosophy of Mathematics: Selected Readings Hilary Putnman & Paul Benacerraf

Véase también