Ned. wiskundige, *9.5.1898 Amsterdam, f9.7.1980 Lugano. Heyting studeerde wiskunde te Amsterdam bij L.E.J.Brouwer.
Van 1932-37 was hij leraar te Enschede, waarna hij lector werd te Amsterdam. Vanaf 1948 was hij hoogleraar aan de Universiteit van Amsterdam in de wiskunde en wijsbegeerte van de wiskunde. Heyting heeft vooral gewerkt aan de verwezenlijking van Brouwers programma voor de wederopbouw van de wiskunde. Hij werd in vakkringen bekend door zijn intuïtionistische wiskunde (o.a. de zgn. algebra van Heyting).
