阿兰德·海廷

✍ dations ◷ 2025-04-26 15:22:13 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

  • 条带状铁矿条状铁层(Banded Iron Formation,简称BIF),又名带状铁矿层、条带状铁矿、带状铁矿或缟状铁矿,是一类岩石的名称,它包含了铁的氧化物、硫化物、碳酸盐类矿物以及燧石,并以条状互层的
  • 法国航空航天公司法国航空航天公司(法语:Aérospatiale)曾称国家航空航天工业公司(法语:Société Nationale d'Industrie Aérospatiale,SNIAS)是一家总部位于巴黎十六区的法国国有航空航天制造商,
  • 洛斯帕德里斯洛斯帕德里斯国家森林(英语:Los Padres National Forest,也译作教士国家森林)是座美国国家森林,位于加利福尼亚州的南部、中部(英语:Central California)。森林由美国国家森林局管理
  • 立方兆米体积(英语:Volume)是物件占有多少空间的量。体积的国际单位制是立方米。一件固体物件的体积是一个数值用以形容该物件在空间所占有的空间。一维空间物件(如线)及二维空间物件(如正
  • 腹胚亚目见内文抱卵亚目(学名:Pleocyemata),又称腹胚亚目,是甲壳亚门十足目中的一个亚目,它是1963年由马丁·布尔肯罗德(Martin Burkenroad)提出的。通过引入抱卵亚目,布尔肯罗德使用单系群的
  • 始祖兽始祖兽(学名)是一种已灭绝的哺乳动物,有可能是真兽下纲的最早祖先。始祖兽的化石是在中国辽宁的义县组发现,可追溯至下白垩纪的巴列姆阶。这个标本长10厘米及差不多完整,估计重量
  • 伦敦大轰炸(第二次世界大战)伦敦轰炸(The Blitz)是指在第二次世界大战中纳粹德国对英国首都伦敦实施的战略轰炸。德国对英国的轰炸发生在1940年9月7日至1941年5月10日间,轰炸范围遍及英国
  • 连津站连津站(韩语:련진역)是朝鲜民主主义人民共和国咸镜北道清津市青岩区域莲津洞的一个铁路车站,属于平罗线。平罗线
  • 陆法言陆法言,隋朝音韵学家,魏郡临漳(今河北临漳)人。于仁寿元年(601年)编成《切韵》五卷,汇集各家之说,乃集大成之作,对后世音韵学影响颇大。
  • 李弼 (赵国公)李弼(494年-557年),字景和,辽东襄平(今辽宁省辽阳市)人,北朝官员、将领。西魏八大柱国之一,官拜赵郡公。北周时为太师,进封赵国公,死后追封魏国公。李弼少有大志,膂力过人。北魏永安元年