阿兰德·海廷

✍ dations ◷ 2025-07-04 16:59:48 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友

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

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

相关

  • 王崇简王崇简(1602年12月10日-1678年12月30曰),字敬哉,一作敬斋,明末清初宛平(今属北京市)人。早年加入复社,喜郊游,工山水画,师法米芾。崇祯十六年(1643年)中癸未科进士,未及授官,李自成陷北京。
  • 达利萨尔瓦多·多明哥·菲利普·哈辛托·达利-多梅内克,普波尔侯爵(加泰罗尼亚语:Salvador Domingo Felipe Jacinto Dalí i Domènech, Marquès de Púbol,1904年5月11日-1989年1月
  • 合同美国合同法是指对美国联邦和各州的合同法规则的总称。美国是实行普通法制度的联邦制国家,因而在合同法制度方面,既有成文法,也有案例法,但是主要的合同法规则还是有各州自己制定
  • 遵义遵义市,古称播州,是中华人民共和国贵州省下辖的地级市,位于贵州省北部,为贵州省第二大城市。市境北临重庆市,东接铜仁市,东南界黔东南州,南邻贵阳市、黔南州,西南连毕节市,西毗四川省
  • 全国人民代表大会专门委员会 政治主题为了加强最高国家权力机关的工作,《中华人民共和国宪法》(现行宪法第七十条)规定全国人民代表大会设立若干专门委员会。各专门委员会不具有权力机关的性质,而是在权力
  • 玛丽·马伦玛丽·马伦(英语:Mary Mallon,1869年9月23日-1938年11月11日),爱尔兰人,1883年独自移民至美国,是美国第一位被发现的伤寒健康带原者,因此被称为伤寒玛丽(Typhoid Mary)。玛丽是一个厨师
  • 美国空军研究实验室美国空军研究实验室(Air Force Research Laboratory, AFRL)是隶属于美国空军装备司令部的一个科研机构,致力于领导空军作战技术的研究与发展、空军科技计划的规划与执行以及为
  • 第7号交响曲 (德沃夏克)D小调第七号交响曲,作品70(B141),是捷克作曲家德弗札克(Antonín Dvořák)于1885年3月17日完成的曲子,并于1885年4月22日在伦敦的St James's音乐厅首演。原本此曲是做为第二号交响
  • 杨公堤杨公堤,是中国浙江杭州西湖上的一条堤坝,与苏堤、白堤并称为“西湖三堤”。杨公堤原称作西山路。杨公堤位于西湖西侧西里湖上,北起仁寿山,南至赤山埠,连接丁家山、眠牛山等西湖中
  • 发草发草(学名:),为禾本科发草属下的一个植物变种。