雒逸濛
2021-07-28
阿兰德·海廷(英语：ArendHeyting，1898年5月9日－1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在Brouwer–Heyting–Kolmogorov释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。海廷生于荷兰阿姆斯特丹，卒于瑞士卢加诺。
