阿兰德·海廷

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

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

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

相关

  • 惠勒县惠勒县 (Wheeler County, Georgia)是美国乔治亚州东南部的一个县。面积777平方公里。根据美国2000年人口普查,共有人口6,179人。县治阿拉莫 (Alamo)。成立于1912年8月14日。
  • 茎环茎环(英语:Stem-loop,或译主干-循环)指一种分子内碱基配对方式,与因此形成的结构,可发生于单股DNA,但在RNA分子中较为常见。当形成的循环较小时,也称为发夹(hairpin)或发夹环。此种结
  • 基西杜古省基西杜古省是西非国家畿内亚的33个省之一,位于该国东南部,由法拉纳大区负责管辖,首府设于基西杜古,北临库鲁萨省和康康省,东接凯鲁阿内省,南毗马桑塔省和盖凯杜省,西邻法拉纳省,面积
  • 殉职医护人员列表本条目列出在2019冠状病毒病疫情期间殉职的医疗工作者及医疗相关的人士,以所属国家或地区分章,预设以逝世日期排序。官方数据显示,截至2020年2月14日,共有1716名医护人员确诊感
  • 三重态在量子力学中,一个系统具有自旋量子数s=1的量子态,其自旋分量有三个允许值,ms =-1,0,+1.在量子力学的概念里,自旋并不是机械性的旋转,而是抽象概念上的,表征粒子的固有角动量的量
  • 经济地理经济地理学的研究聚焦于在不同尺度中经济活动的空间面向。在公司的经济决策上,其他因素前往作为市场的都市(或中心商业区)的距离扮演重要的角色。然而其他因素如易达性和原料充
  • 奥莉加·库津科娃奥莉加·谢尔盖耶夫娜·库津科娃(俄语:Ольга Сергеевна Кузенкова,1970年10月4日-),出生于俄罗斯斯摩棱斯克,是俄罗斯女子田径运动员。她曾获得2000年悉尼
  • 黄河 (台湾演员)第42届金钟奖戏剧类最佳男主角奖《危险心灵》 黄河(英文:River Huang,1989年11月13日-)是一名台湾演员,为易智言导演第一个签下的演员,2007年凭电视剧《危险心灵》获得第42届金钟奖
  • 费尔佐拉·忽扎耶夫费尔佐拉·乌拜杜拉耶维奇·忽扎耶夫(乌兹别克语:Fayzulla Ubaydulloyevich Xo‘jayev/Файзулла Убайдуллоевич Хўжаев;俄语:Файзулла Уб
  • 裸背果蝠属裸背果蝠属(大裸背果蝠),哺乳纲、翼手目、狐蝠科的一属,而与裸背果蝠属(大裸背果蝠)同科的动物尚有棕榈果蝠属(棕榈果蝠)、黄毛果蝠属(黄毛果蝠)、犬蝠属(犬蝠)、黑冠果蝠属(黑冠果蝠)等之