海丁

海丁(Heyting, Arend, 1898-1980)，荷蘭數學家，生於阿姆斯特丹，他的著作有《數學基礎研究》(1934)，《直覺主義》(1956)等。

早年就學於阿姆斯特丹大學.後留校任教，1948年晉升為教授.海丁是布勞威爾(Brouwer , L. E. J. )直覺主義的創建者)的繼承人之一他發展了數學基礎研究中的直覺主義學派的理論，並在此基礎上建立了二值符號邏輯.這一邏輯規律，像其他多值邏輯規律一樣，不接受三重和雙重否定規律.他還和其他人共同構造了直覺主義的謂詞演算。