热门问题
时间线
聊天
视角
阿蘭德·海廷
来自维基百科，自由的百科全书
Remove ads
生平
1898年生於荷蘭阿姆斯特丹，他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一，他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。海廷為了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發。把布勞威爾的名字包含在BHK釋義中很大程度上是出於尊敬，因為布勞威爾在原則上反對直覺主義邏輯的任何形式化(並進而把海廷的工作稱為「無果實驗」)。[1]卒於瑞士盧加諾。
參見
- 海廷代數
- 海廷算術
引用
選定出版物
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads