阿兰德·海廷

✍ dations ◷ 2025-10-03 18:45:30 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

海廷生于荷兰阿姆斯特丹,卒于瑞士卢加诺。

相关

  • 伊拉克伊拉克共和国(阿拉伯语:الجمهورية العراقية;库尔德语:كۆماری عێراق),通称伊拉克(العراق‎),位于西亚—中东地区的共和国。伊拉克与南方的沙特阿拉
  • 基因选殖分子克隆(英语:Molecular cloning,又译分子纯化繁殖),而克隆英文字面上的意思,其实就是分子克隆,定义是指分离一个已知DNA序列,并以in vivo(活体内)方式获得许多复制品的过程。这一复
  • 索伦霍芬索伦霍芬(Solenhofengraphic)是一处位于德国南部的著名采石场,该区生产的石灰岩多呈板状,适于用作屋顶或地板;而又以其颗粒细致,在18世纪还被大量应用在石版印刷,故得印版石石灰岩
  • 誓言 (消歧义)誓言或誓词是汉语单词,意思是表达决心、信念的言辞,一般会仪式性地在正式场合宣读(宣誓)。它可以指以下内容:名称中包含誓言的条目,较出名者如:
  • 尼泊尔总统尼泊尔总统(尼泊尔语: राष्ट्रपति,IAST: rāṣṭrapati),全称尼泊尔联邦民主共和国总统,是尼泊尔联邦共和国的国家元首。2008年5月28日,尼泊尔制宪大会通过决议,宣布尼泊
  • 2015年3月逝世人物列表2015年3月逝世人物列表,是用于汇总2015年3月期间逝世人物的列表。
  • 莱蒂西亚·格里玛尔迪莱蒂西亚·格里玛尔迪,全名为莱蒂西亚·格里玛尔迪·斯皮策,为法国抒情女高音,毕业于纽约市的茱莉亚学院。出生于法国的莱蒂西亚·格里玛尔迪,童年期间分别在里斯本和伦敦成长。
  • 皮乌拉地区皮乌拉地区(Piura Region)位于秘鲁北部,北临南美洲国家厄瓜多尔,东临太平洋。皮乌拉一词源于克丘亚语,意为“供给基地”。皮乌拉区总面积3.5万平方公里,2005年人口总计1630772。该
  • 古哈加尔古哈加尔(Guhagar),是印度马哈拉施特拉邦勒德纳吉里县的一个城镇。总人口3205(2001年)。该地2001年总人口3205人,其中男性1651人,女性1554人;0—6岁人口310人,其中男156人,女154人;识字
  • 周邦彦周邦彦(1056年-1121年),字美成,号清真居士,钱塘(今浙江杭州)人,中国北宋末期著名的词人、音乐家。宋徽宗时曾任大晟乐府提举官,进一步完善了词的体制形式。其词在婉约词人中长期被尊为