阿兰德·海廷

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

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

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

相关

  • 废料放射性废料是一种包含放射性物质的废料,一般在如核裂变一类的核反应中产生。事实上,一些不与核工业直接关联的的产业在各自的生产活动中也会排放出一定量的放射性废料。放射性
  • 阿米巴变形虫变形虫,拉丁文为Amoeba,中文音译为阿米巴,所以也叫做阿米巴原虫、阿米巴变形虫或阿米巴虫或称食脑虫(透过感染鼻腔而进入脑部感染的死亡率高达九成)。是一种单细胞原生动物,仅由一
  • 鲁米诺鲁米诺(英文:Luminol),或称发光胺、光敏灵、流明诺,是通用的发光化学试剂,与适当的氧化剂混合时会发出引人注目的蓝色光。它是白色至淡黄色的晶体,可溶于大多数有机极性溶剂,但不溶
  • 露营露营是一种休闲活动,通常露营者携带帐篷,离开城市在野外扎营,度过一个或者多个夜晚。露营通常和其他活动联系,如徒步、钓鱼或者游泳等。基本可以分为四种形式,第一是常规露营,第二
  • 滑铁卢车站滑铁卢站(英语:Waterloo station,/ˌwɔːtərˈluː/)是英国国营铁路公司的中央伦敦终点站(英语:London station group)之一,位于兰贝斯区的滑铁卢地区、邻近泰晤士河的南岸。此站
  • 擦鞋工擦鞋工,因从前多数是童工担任而又名 擦鞋童、擦鞋仔,是替别人擦鞋为职业的人,生产工具是鞋油、鞋擦、干毛巾等。擦鞋可能是专门的,或者是补鞋业的附加服务。由于擦鞋员在工作时
  • 新月形沙丘新月形沙丘是风成地貌的一种。由风所夹带的沙粒堆积而成。迎风坡凸而平缓,坡度在5°~20°之间;背风坡凹而陡,坡度在28°~34°之间。两坡交接成弧形沙脊。两翼末端沿着盛行风吹动
  • 尕旱地墓地尕旱地墓地,位于中国青海省同仁县保安乡城内村,为青海省市县级文物保护单位,公布日期为1988年8月26日,类型为古墓葬。尕旱地墓地的历史年代为青铜时代。
  • 林雪平大学林雪平大学(瑞典语:Linköpings universitet,英语:Linköping University,缩写为LiU),是瑞典的一所国立综合性大学。林雪平大学成立于1975年,并在上世纪九十年代开始在邻近的北雪平
  • 克里亚·吉尔伯特克里亚·吉尔伯特(英语:Kerrea Gilbert,1987年2月28日-)生于英国汉默史密斯,是一名英格兰籍职业足球员,于2010年夏季约满离开母会阿森纳。直到2005/06年,吉尔伯特通常在阿森纳的青