Home

The Arend Heyting Foundation was founded in 1981 by prof. dr. A.S. Troelstra, under the auspices of the The Royal Netherlands Academy of Arts and Sciences and has as goal to further the knowledge of mathematical logic, and Intuitionism in particular.

The Arend Heyting Foundation tries to attain this goal by organising an Arend Heyting Lecture on the aforementioned field at least once every three year .