阿蘭德·海廷

阿蘭德 · 海廷 ( 英語 ： Arend Heyting ， ) 是荷蘭數學家和邏輯學家 。 他是魯伊茲 · 布勞威爾在阿姆斯特丹大學的學生之一 ， 他做了很多工作來使直覺主義邏輯立足於成爲數理邏輯一部分 。 海廷爲了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發 。 把布勞威爾的名字包含在BHK釋義中很大程度上是出於尊敬 ， 因爲布勞威爾在原則上反對直覺主義邏輯的任何形式化 。 海廷生於荷蘭阿姆斯特丹 ， 卒於瑞士盧加諾 。