De Wikipedia, la enciclopedia libre
Arend Heyting
(9 de mayo de 1898 en
Amsterdam
- † 9 de julio en 1980 en
Lugano
,
Suiza
) fue un
matematico
especializado en
logica
. Fue un estudiante de
L.E.J. Brouwer
, se trata de un fundador de un algebra especial que presenta modelos de la
logica intuicionista
es decir una logica en la cual la
ley del tercero excluido
no vale, en general. Las algebras completas de Heyting son un objeto central de estudio en
topologia sin puntos
.
Vease tambien
[
editar
]
Enlaces externos
[
editar
]