Arend Heyting

Arend Heyting
Arend Heyting (1967)
Born	(1898-05-09)9 May 1898 Amsterdam, Netherlands
Died	9 July 1980(1980-07-09) (aged 82) Lugano, Switzerland
Nationality	Dutch
Alma mater	University of Amsterdam
Known for	Heyting algebra Heyting arithmetic Heyting field Brouwer–Heyting–Kolmogorov interpretation Intuitionistic logic Contributions to intuitionism
Scientific career
Fields	Mathematics
Institutions	University of Amsterdam
Doctoral advisor	L. E. J. Brouwer
Doctoral students	Anne Sjerp Troelstra Dirk van Dalen

Arend Heyting (Dutch: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.