阿兰德·海廷

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

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

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

相关

  • 心血管磁共振成像心血管磁共振成像 (CMR), 俗称心脏MRI , 是一种评估心血管系统的功能与结构的一种非侵入式医学成像技术。它运用磁共振成像(MRI)基本原理,针对心血管系统成像的特殊困难,优化现有
  • 米兰大学Milan Blue米兰大学(Università degli Studi di Milano,UNIMI)是意大利最重要的公立大学之一。米兰大学一共有62,801位学生,2,455位教职与研究人员,2,200 位非教职人员。米兰大
  • 奥基夫约翰·奥基夫(英语:John O'Keefe,1939年11月18日-),爱尔兰裔美国暨英国籍神经科学家,伦敦大学学院解剖学系和认知神经科学研究所的教授。奥基夫在纽约长大,于纽约市立大学获学士学位
  • 舍宁根舍宁根(德语:Schöningen)是德国下萨克森州的一个市镇。总面积35.36平方公里,总人口11847人,其中男性5836人,女性6011人(2011年12月31日),人口密度335人/平方公里。
  • 1591年重要事件及趋势重要人物
  • 布什尔布什尔省(波斯语:بوشهر)是伊朗三十一个省份之一。面积23,168公里,在所有省份中排行第19。人口约816,100(2005年数据);首府位于布什尔。布什尔省位于伊朗南部;北面与胡齐斯坦
  • 长隆海洋王国长隆海洋王国(Chimelong Ocean Kingdom)位于中华人民共和国广东省珠海市香洲区横琴镇富祥湾,是珠海长隆国际海洋度假区旗下的其中一个以海洋为主题的主题公园,该主题公园采用世
  • 等角螺线等角螺线、对数螺线或生长螺线是在自然界常见的螺线,在极坐标系 ( r , θ ) {\displaystyle (r,\theta )}
  • 吉米·哈利吉米·哈利(James Herriot,1916年10月3日-1995年2月23日)是一位在英国与美国知名的兽医作家,原名是吉米·艾非德·怀特,OBE,FRCVS(James Alfred Wight),也称Alf Wight知名。他出生于英
  • 克劳斯·金克尔克劳斯·金克尔(德语:Klaus Kinkel,1936年12月17日-2019年3月4日),生于巴登-符腾堡州的麦琴根市,他是德国自由民主党(FDP)内的一名重要人物。他曾在1991年—1992年任德国司法部部长,19