阿兰德·海廷

✍ dations ◷ 2025-07-25 19:15:32 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

  • 甘露咖啡力娇酒卡鲁哇咖啡利口酒(西班牙语:Kahlúa,或译卡鲁哇酒、甘露咖啡力娇酒、香甜咖啡酒)是一款墨西哥出产的以兰姆酒为基酒咖啡口味的利口酒。甘露咖啡力娇酒酒液浓稠,香甜,具有独特的咖
  • NaAlOsub2/sub铝酸钠,又称偏铝酸钠,是一种无机化合物,也是一种重要的化学商品。它是生产广泛用于工业和科技领域的氢氧化铝的高效原料。纯的铝酸钠(无水合)是白色的晶体,可以用多种不同的分子式
  • 性偏离列表性欲倒错是指对物体、情境或其它非典型对象感到具有性吸引力,美国精神医学学会在其出版品《精神疾病诊断与统计手册第五版》里将性欲倒错(非典型的性偏好)以及 paraphilic(需要
  • 怀柔区怀柔区是北京市下辖的一个区。怀柔区为北京市郊区县之一,地处全市东北部,位于东经116°17′~116°53′,北纬40°13′~41°0.4′之间。城区距北京东直门50公里。全区总面积2122.6
  • 19个中级法院本表注释见中华人民共和国法院列表。
  • 四氢生物蝶呤四氢生物蝶呤(tetrahydrobiopterin),又称沙丙蝶呤(Sapropterin),简称BH4, 是三种芳香族氨基酸羟化酶的一种重要辅酶:苯丙氨酸羟化酶将苯丙氨酸转化为酪氨酸;酪氨酸羟化酶将酪氨酸转化
  • 下关镇下关镇是中国云南省大理白族自治州大理市下辖的一个镇,是大理州、市政府所在地,政治、经济、交通中心。面积168.71平方公里,人口约20万人。2019年7月8日,云南省人民政府批复同意
  • 谢村黄酒谢村黄酒是黄酒的一种,因产于陕西省汉中市洋县谢村镇而得名。汉中人自古好黄酒,不少人家有祖传酿酒秘方,所酿黄酒各领风骚。旧洋县县志有载:“洋民好饮食,平坝民多用糯米酿制黄酒
  • 交趾郡交趾郡(越南语:Giao Chỉ),一作交阯郡,中国西汉至唐朝郡名,相当于今越南北部红河三角洲流域。之后交趾从中国独立,但中国、日本仍以“交趾”、“交阯”称该地诸政权。宋朝皇帝亦封
  • 蒂豪尼蒂豪尼(匈牙利语:Tihany),是匈牙利维斯普雷姆州所辖的一个村落,位于匈牙利以至中欧最大的湖泊巴拉顿湖北岸的蒂豪尼半岛之上,总面积27.33平方公里,总人口1,363,人口密度每平方公里49