热门问题
时间线
聊天
视角

阿兰德·海廷

来自维基百科,自由的百科全书

Remove ads

阿兰德·海廷(英语:Arend Heyting,1898年5月9日—1980年7月9日)是荷兰数学家逻辑学家

生平

1898年生于荷兰阿姆斯特丹,他是鲁伊兹·布劳威尔阿姆斯特丹大学的学生之一,他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬,因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。[1]卒于瑞士卢加诺

参见

引用

选定出版物

外部链接

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads