热门问题
时间线
聊天
视角
阿兰德·海廷
来自维基百科,自由的百科全书
Remove ads
生平
1898年生于荷兰阿姆斯特丹,他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一,他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬,因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。[1]卒于瑞士卢加诺。
参见
- 海廷代数
- 海廷算术
引用
选定出版物
外部链接
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads