阿兰德·海廷

✍ dations ◷ 2024-09-20 11:59:52 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

类固醇甾体（英语：steroid）是属于脂类的一类，特征是有一个四环的母核。所有甾体都是从乙酰辅酶A生物合成路径所衍生的。不同的甾体在其附在环上的官能团有所不同，而其基本结构都是有一个
斑疹伤寒斑疹伤寒（Typhus），是由立克次体引起的传染病，可分为两大类：分别是是流行性斑疹伤寒（Epidemic Louseborne typhus）与地方性斑疹伤寒（Endemic Fleaborne typhus）。斑疹伤寒是流行性斑疹
圣赫勒拿圣赫勒拿（英语：Saint Helena）是大西洋岛屿，主权属于英国，离非洲西岸1900公里，离南美洲东岸3400公里。圣赫勒拿岛与其北方的阿森松岛和南方的特里斯坦-达库尼亚群岛一起组成英国的
白癜风白癜风（Vitiligo）也称为白斑、白蚀，是慢性的皮肤症状，特征是皮肤部分部位因为色素脱失而出现斑痕。斑痕多半是白色的，而且有不规则的边缘。该部位的皮肤也会变成白色，口鼻的内
六足蟹总科六足蟹科（Hexapodidae）是螃蟹的其中一个科，属于其独自的六足蟹总科（Hexapodoidea）。传统上，本科的生物被归类成为豆蟹科之下的一个亚科，又或被划归梭子蟹总科。
哈勃–勒梅特定律在物理宇宙学里，哈勃–勒梅特定律（英语：Hubble-Lemaître law）指遥远星系的退行速度与它们和地球的距离成正比。这条定律原先称为哈勃定律（英语：Hubble's law），以证实者埃德温·哈勃
黄锡璆黄锡璆（1941年5月19日－），籍贯广东梅县，东南大学和天主教鲁汶大学毕业，中国共产党党员，中国大陆建筑学家、北京建筑工程学院、北京工业大学、东南大学兼职教授。黄锡璆是国际建筑师
妮寇拉·佩兹妮寇拉·佩兹（英语：Nicola Peltz，1995年1月9日－），美国女演员，于电影《最后的风之子》中崭露头角，随后在A&E的电视剧《贝兹旅馆》中饰演布莱德莉·马汀，2014年在电影《变形金刚4：绝迹重
克莱门特·格林伯格克莱门特·格林伯格（英语：Clement Greenberg，1909年1月16日－1994年5月7日），有时使用笔名K. Hardesh，是一位美国随笔作家，作为与20世纪中叶的美国现代艺术密切相关的视觉艺术评论家，同
安妮 (手球运动员)安妮（AN Ni，1987年6月11日－），中国女子手球运动员，司职中卫。2002年，安妮作为优秀体育人才被引进到广东省，户籍定在顺德容桂街道。2010年11月，安妮代表中国出战广州亚运会，参加女子手