海丁的个人简介
海丁(Heyting, Arend, 1898-1980)，荷兰数学家，生于阿姆斯特丹，他的著作有《数学基础研究》(1934)，《直觉主义》(1956)等。
基本内容
人物介绍
早年就学于阿姆斯特丹大学.后留校任教，1948年晋升为教授.海丁是布劳威尔(Brouwer , L. E. J. )直觉主义的创建者)的继承人之一他发展了数学基础研究中的直觉主义学派的理论，并在此基础上建立了二值符号逻辑.这一逻辑规律，像其他多值逻辑规律一样，不接受三重和双重否定规律.他还和其他人共同构造了直觉主义的谓词演算。
