Heyting, Arend

Arend Heyting
Heyting, Arend, nizozemski matematičar i logičar (Amsterdam, 9. V. 1898 – Lugano, 9. VII. 1980). Profesor u Amsterdamu (od 1938). Poznat po aksiomatizaciji intuicionističke logike (1930). Objavio Uvod u intuicionizam.

KOMENTARI i PRIMJEDBE

Za povratne informacije uredništva molimo Vas da ispunite ove rubrike: