caption doctoral_advisor death_date death_place birth_place nationality fields workplaces birth_date doctoral_students image article_title name alma_mater
arend heyting -lrb- 1967 -rrb- l. e. j. brouwer 9 july 1980 lugano , switzerland amsterdam , netherlands dutch mathematics university of amsterdam 9 may 1898 jan mooij anne sjerp troelstra dirk van dalen arend heyting -lrb- 1967 -rrb- . jpg arend heyting
 arend heyting university of amsterdam
arend heyting

arend heyting -lrb- ; 9 may 1898 -- 9 july 1980 -rrb- was a dutch mathematician and logician .
he was a student of luitzen egbertus jan brouwer at the university of amsterdam , and did much to put intuitionistic logic on a footing where it could become part of mathematical logic .
heyting gave the first formal development of intuitionistic logic in order to codify brouwer 's way of doing mathematics .
the inclusion of brouwer 's name in the brouwer -- heyting -- kolmogorov interpretation is largely honorific , as brouwer was opposed in principle to the formalisation of certain intuitionistic principles -lrb- and went as far as calling heyting 's work a `` sterile exercise '' -rrb- .
in 1942 he became member of the royal netherlands academy of arts and sciences .
heyting was born in amsterdam , netherlands , and died in lugano , switzerland .
