阿兰德·海廷

✍ dations ◷ 2025-06-29 09:36:45 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

  • CCND12W96, 2W99, 2W9F, 2W9Z· protein binding · cyclin-dependent protein serine/threonine kinase regulator activity · enzyme binding · protein kinase binding·
  • 猪应激综合征猪紧迫性症候群,或称猪紧迫性综合病症(英语:porcine stress syndrome,缩写:PSS),在舍饲的肉猪上常有发生。这种猪只在遭遇紧迫情形,如打斗,捆绑运送市场等常在中途突然死亡,充分表示无
  • 利贝雷茨州利贝雷茨州(捷克语:Liberecký kraj),是捷克北部的一个州,历史上属于波希米亚。面积3,163 平方公里,人口429,491(2006年)。主峰锅炉山(捷克语:Kotel)海拔高度1,435米。首府利贝雷茨。下
  • 康涅狄格学院坐标:41°22′42.36″N 72°06′16.81″W / 41.3784333°N 72.1046694°W / 41.3784333; -72.1046694康涅狄格学院(Connecticut College,简称:Conn College或Conn)是一所位于美国
  • 浮梁古县衙坐标:29°22′41″N 117°14′44″E / 29.37806°N 117.24556°E / 29.37806; 117.24556浮梁县衙位于中国江西省景德镇市浮梁县浮梁镇,建于清道光年间,现存中门、衙院、正堂、
  • 碘酸钠碘酸钠(NaIO3)是碘酸的钠盐。碘酸钠是一种氧化剂,但比氯酸钠和溴酸钠稳定得多。它与可燃物或还原剂接触可能导致火灾。它可以由氢氧化钠与碘酸的中和反应制备:还可以向热的氢氧
  • 森美兰州务大臣森美兰州务大臣 (马来语:Menteri Besar Negeri Sembilan)是马来西亚森美兰州的行政首长。依据《森美兰州宪法》,森美兰严端必须委任一名获得森美兰州议会多数信任的州议员成为
  • 隆头鱼属隆头鱼属(学名:)是隆头鱼目隆头鱼科的一个属,其下生物分布于大西洋东部至地中海、黑海海域。本属属于隆头鱼亚科,其下共有四种:
  • 猪胰猪胰,又称猪脾,广东称为猪横脷,是指可供食用的家猪胰脏。猪胰位于猪的腹部,与猪肠横连着,好像一条舌头,而广东话称“舌”为“脷”,故得“猪横脷”的别称,与“猪脷”(猪舌)无关。猪胰有
  • 威廉·迈巴赫威廉·迈巴赫(Wilhelm Maybach,1846年2月9日-1929年12月29日),德国发动机工程师,曾担任戴姆勒机械制造社(今日戴姆勒集团的前身)的首席工程师,也曾参与著名的齐柏林飞船之制造,是德国