阿兰德·海廷(英语：Arend Heyting，1898年5月9日－1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。
海廷生于荷兰阿姆斯特丹，卒于瑞士卢加诺。
首页 >
阿兰德·海廷
✍ dations ◷ 2025-11-21 10:29:19 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友
相关
- Unicode收录的文字Unicode 11.0收录了146种文字，包括89种现在仍在使用的文字和57种古代的已经不用的文字。
- 一面体一面体是多面体的一种。只有1个面、没有边和1个顶点的几何形状。施莱夫利符号中利用{1,1}来表示。一面体在三维空间中是不存在的，但能存在于超球面上，但是它可以以类似一角形
- 朝阳区朝阳区是北京市的一个市辖区，属于城六区之一，位于北京城的东面、东北面和东南面，介于北纬39°48'至40°09'、东经116°21'至116°42'之间。东与通州区接壤，西与海淀、西城、东城
- 林子伟林子伟（英语：Tzu-Wei Lin，1994年2月15日－），台湾高雄市那玛夏区出身的旅美职业棒球选手，布农族人。效力于美国职棒波士顿红袜队，主要守备位置为游击手，亦可担任二垒手、三垒手等位置。
- 远端肾小管酸中毒远端肾小管性酸中毒(Distal renal tubular acidosis、dRTA、或"1型肾小管酸中毒"(RTA 1))是RTA的传统形式，为RTA第一个描述的病症。远端RTA的特征在于远端肾单位的集合管系统
- 弗里波特 (巴哈马)弗里波特（Freeport）是加勒比海岛国巴哈马岛屿大巴哈马岛的一座城市，也是该国的第二大城市，位于该岛西部，建立于1965年，2000年人口26,914，人口密度为每平方公里48人，面积558平方公里，
- 密尔经学院密尔经学院（Mir Yeshiva， 希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram
- 国际记者协会国际记者协会（IPA）是一个由专业娱乐记者组成的组织，代表国内外的报刊、电视、广播、有线频道以及新媒体通路市场 。该协会自1997年1月起，设立了一个年度电影电视奖项卫星奖。所
- 斯韦恩·罗斯兰斯韦恩·罗斯兰（挪威语：Svein Rosseland，1894年3月31日－1985年1月19日），挪威天体物理学家，是理论天体物理学的先驱。罗斯兰生于挪威克瓦姆，是家中9名子女中的老幺。1917年罗斯兰在海
- 了别了别（梵语：vijñapti，巴利语：viññatti），音译毘若底，又译为了、识、了知、别知、识知、识别、记识、表识、表象，佛教阿毘达磨术语，意为识别、辨别、认知等，与识（vijñāna）的意义接近，经
