struka(e):
Heyting, Arend
nizozemski matematičar
Rođen(a): Amsterdam, 9. V. 1898.
Umr(la)o: Lugano, Švicarska, 9. VII. 1980.
ilustracija
HEYTING, Arend

Heyting [hi'tiŋ], Arend, nizozemski matematičar (Amsterdam, 9. V. 1898Lugano, Š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).

Citiranje:

Heyting, Arend. Hrvatska enciklopedija, mrežno izdanje. Leksikografski zavod Miroslav Krleža, 2013 – 2024. Pristupljeno 29.3.2024. <https://enciklopedija.hr/clanak/heyting-arend>.