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