阿兰德·海廷
近期热点
资料介绍
阿兰德·海廷(英语:Arend Heyting,1898年5月9日—1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一,他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬,因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。
海廷生于荷兰阿姆斯特丹,卒于瑞士卢加诺。
标签: 数学家
相关热点
最新收录
- 彩乃圣罗(彩乃せいら) 07-24
- 心阳希美(心陽のぞ美) 07-24
- 七绪绯美佳(七緒ひみか 07-24
- 阳野爱实(陽野めぐみ) 07-24
- 1818黄金眼郑女士 07-24
- 发际线男孩小吴 07-24
- 乔瓦尼·多梅尼科·马拉迪 07-24
- 夏尔-欧仁·德洛奈 07-23
- 板垣公一 07-23
- 平山清次 07-23