Heyting [hi'tiŋ], Arend, nizozemski matematičar (Amsterdam, 9. V. 1898 – Lugano, Švicarska, 9. VII. 1980). Diplomirao (1922), doktorirao (1925) i radio (1936–68) na Sveučilištu u Amsterdamu. Glavni sljedbenik Luitzena Egbertusa Jana Brouwera, osnivača intuicionističke matematike. Formulirao (1930) intuicionističku logiku, koja priznaje kao istinito samo ono što se može upoznati. Glavno djelo: Uvod u intuicionizam (Intuitionism: An introduction, 1956). Bio je član Kraljevske nizozemske akademije umjetnosti i znanosti (od 1942).