阿兰德·海廷(英语：Arend Heyting，1898年5月9日－1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。
海廷生于荷兰阿姆斯特丹，卒于瑞士卢加诺。
首页 >
阿兰德·海廷
✍ dations ◷ 2025-02-23 14:24:35 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友
相关
- 员工福利员工福利（英语：Employee benefit），是雇员因为受雇工作而有权享用的福利，通常是由雇主直接给予，如折扣购物、免费穿梭巴士等；也可能由第三者提供，如医疗服务，只要出示有效的工作证等。
- 高渗剂张性（英语：Tonicity）是形容细胞内和细胞外的渗透压比例、溶质浓度比例及水势比例。当细胞置于高渗溶液（英语：hypertonic solution）中，细胞内的渗透压会小于细胞外的渗透压，细胞内的
- Nasub2/subHe氦化钠是一种钠的稀有气体化合物，化学式为Na2He，其结构可表示为(Na+)2He(2e−)，于2016年由中国化学家制得。氦化钠由钠与氦在高温与极高压（>113GPa）下合成。Na2He在接近1,500K的
- 伯克利市伯克利（英语：Berkeley）是美国加利福尼亚州阿拉梅达县内的一座城市，位于旧金山湾区东北部、奥克兰以北，市政府建制于1878年4月4日。1853年，美国人从西班牙人手中买下，做为陆地观海点
- 乔治·麦克莱伦乔治·B·麦克莱伦（英语：George B. McClellan 1826年12月3日－1885年10月29日）是一位19世纪的美国军人，土木工程师，铁路公司经营者，政治活动家和作家。麦克莱伦毕业于西点军校，曾服役
- 1968年哥伦比亚大学学生抗议运动1968年哥伦比亚大学学生抗议运动（英语：Columbia University protests of 1968）是1968年全球各地的学生示威运动之一。是年春天，哥大学生发现该校与美国国防分析研究所（IDA）关系甚
- 香山郡香山郡（朝鲜语：향산군／香山郡 Hyangsan gun */?）是朝鲜民主主义人民共和国平安北道的一个郡，位于道的东部，东北为慈江道，东南为平安南道。妙香山位于三道的交界点上。清川江流经
- Adobe AIRAdobe AIR（AIR＝Adobe Integrated Runtime），开发代号为Apollo，是一个跨操作系统运行环境，用来建造RIA，使用Adobe Animate、Flex、HTML与AJAX，可能部署为桌面应用程序。AIR是Adobe针对
- 油糍油糍，是分布于中国南方如广东、福建、广西、湖北、湖南、江西、贵州甚至陕西南部紫阳等地的油炸米食，各地称谓一致，但做法有较大差异。把糯米打成浆，再倒入布袋沥干水分，加干浆掰
- 莫理循莫理循，本名乔治·厄内斯特·莫里森（英语：George Ernest Morrison，1862年2月4日－1920年5月30日），英语圈通称G.E.莫理循，苏格兰裔澳大利亚人，1887年毕业于爱丁堡大学医科。他是一位与
