Editing Arend Heyting (section)

==Biography==
Heyting 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 (and went as far as calling Heyting's work a "sterile exercise").{{sfn|Van Stigt|1990}}

In 1942 he became a member of the [[Royal Netherlands Academy of Arts and Sciences]].{{sfn|Digitaal Wetenschapshistorisch Centrum}}

Heyting was born in [[Amsterdam]], Netherlands, and died in [[Lugano]], Switzerland.