阿兰德·海廷

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

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

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

相关

  • 11-脱氧皮质酮11-脱氧皮质酮(英语:11-Deoxycorticosterone,DOC,简称为脱氧皮质酮)是一种具有盐皮质激素活性的由肾上腺产生的类固醇激素并作为醛固酮的前体。顾名思义,11-脱氧皮质酮可被看作是
  • 构效关系构效关系指的是药物或其他生理活性物质的化学结构与其生理活性之间的关系,是药物化学的主要研究内容之一。狭义的构效关系研究的对象是药物,广义的构效关系研究的对象则是一切
  • 弗朗西斯科·皮萨罗弗朗西斯科·皮萨罗(西班牙语:Francisco Pizarro,1471年或1476年-1541年6月26日)是西班牙早期殖民者,开启了西班牙征服南美洲(特别是秘鲁)的时代,也是现代秘鲁首都利玛的建立者。在西
  • 西蒙·玻利瓦尔·巴克纳美墨战争 南北战争西蒙·玻利瓦尔·巴克纳(英语:Simon Bolivar Buckner,1823年4月1日-1914年1月8日)是一位美国军人、政治家,曾加入美国陆军参加美墨战争,并曾在南北战争期间为美利
  • 五功五功(阿拉伯语:أركان الإسلام‎,ʾarkān al-ʾIslām,即伊斯兰支柱)是伊斯兰教逊尼派所用的词汇,指信仰伊斯兰的所需遵守的五项基本原则。伊斯兰的五门功课要求穆斯
  • 扶桑社扶桑社是日本富士产经集团旗下的出版社,1987年由产经出版等公司合并而成。该社是在东亚引起很大反弹的新历史教科书的出版单位。
  • 2020年2月逝世人物列表2020年2月逝世人物列表,是用于汇总2020年2月期间逝世人物的列表。
  • 佛科留斯系统佛科留斯系统(Galaxy morphological classification)被视为是哈伯序列的扩充,并被广泛的使用者,最早是在1959年由热拉尔·佛科留斯 (Gérard de Vaucouleurs)提出的。佛科留斯认
  • 芦田爱菜芦田爱菜(日语:芦田愛菜,2004年6月23日-),日本儿童演员。出生于兵库县西宫市,现居于东京都,隶属于Jobbykids(日语:ジョビィキッズプロダクション)旗下。芦田爱菜在朝日放送的电视剧中首
  • 迈特里帕拉·西里塞纳迈特里帕拉·西里塞纳(1951年9月3日-;僧伽罗语:මෛත්‍රිපාල සිරිසේන,泰米尔语:மைத்திரிபால சிறிசேன,英语:Maithripala Sirisena),是斯里兰卡政治人