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