阿兰德·海廷

✍ dations ◷ 2024-12-22 23:34:12 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

  • 斯高帕斯Scopus是一家文献数据库。它囊括有全球5000多家在科学、技术、医学和社会科学等领域的出版商。
  • 持久自由军事行动持久自由行动(英语:Operation Enduring Freedom)是美国及其盟国所组成的联军,自2001年起开始执行、一连串针对基地组织和对该组织进行庇护的阿富汗塔利班政权所采取之军事行动的
  • 突尼斯战役大英帝国大约300,000人伤亡 最少1,045架飞机被毁突尼斯战役是第二次世界大战北非战场中轴心国与同盟国之间发生在突尼斯的一系列战斗。盟军主要包括英军以及美军和法军。战
  • 中科院微生物所中国科学院微生物研究所是中国科学院下属研究所,于1958年由中国科学院应用真菌研究所和北京微生物研究室合并成立,现位于北京市朝阳区北辰西路中国科学院奥运村园区。以微生物
  • 甲申甲申为干支之一,顺序为第21个。前一位是癸未,后一位是乙酉。论阴阳五行,天干之甲属阳之木,地支之申属阳之金,是金克木相克。中国传统纪年农历的干支纪年中一个循环的第21年称“甲
  • 七股潟湖七股潟湖,位于台湾台南市七股区境内,由于曾文溪的四次改道而造成今日的潟湖景观,为台湾第一大潟湖,当地人称为“内海仔”或“海仔”。2009年台江国家公园成立,成为国家公园的一部
  • 可口美青蟹蓝蟹(学名Callinectes sapidus),又名青蟹、可口美青蟹或美味优游蟹,是一种分布在大西洋(乞沙比克湾)、中美洲的海岸及墨西哥湾的美青蟹属生物。它们是马里兰州的代表甲壳类,是当地
  • 镤的同位素镤的同位素均具有放射性,其中最稳定的为231Pa,质量数在231以下的同位素主要发生α衰变生成锕,而质量数超过231的主要发生β衰变生成铀。备注:画上#号的数据代表没有经过实验的证
  • 麻豆糖厂坐标:23°11′09″N 120°16′09″E / 23.185818°N 120.269050°E / 23.185818; 120.269050麻豆糖厂是一座曾经位于台南市麻豆的制糖工厂,厂区现为台南市总爷艺文中心。麻豆
  • 上海证券交易所A股指数上海证券交易所A股指数(简称A股指数、沪A指),代号SHA:000002,是指在中国大陆注册的公司在上海证交所上市的普通股股票,以人民币计价交易,参与者仅限中国大陆境内合格投资者与持有