TRAŽI DALJE:
STRUKE:

Heyting, Arend

ilustracija
HEYTING, Arend

Heyting [h62656i'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, 2021. Pristupljeno 14. 4. 2021. <http://www.enciklopedija.hr/Natuknica.aspx?ID=25334>.