哈斯凯尔·柯里

✍ dations ◷ 2025-04-26 10:54:13 #1900年出生,1982年逝世,美国数学家,美国逻辑学家,哈佛大学校友,麻省理工学院校友,哈佛大学教师,普林斯顿大学教授,宾夕法尼亚州立大学教师,阿姆斯特丹大学

哈斯凯尔·布鲁克·加里(英语:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日-1982年9月1日),生于美国马萨诸塞州米里镇,数理逻辑学家,专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel(英语:Moses Schönfinkel)的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论(英语:Curry's paradox)和柯里-霍华德同构而闻名。

三个编程语言Haskell、Brook(英语:BrookGPU)、Curry,以及柯里化的概念都是以他的名字来命名的。

哈斯凯尔·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。

1916年他进入哈佛大学,原先预备攻读医学,但很快就转换到数学领域。1920年毕业后,他在麻省理工学院工作两年,之后又回到哈佛大学继续学业,1924年得到物理学硕士学位,之后取得数学博士学位。在这段时期里,当他接触到阿尔弗雷德·诺思·怀特黑德和伯特兰·罗素在数学符号逻辑领域的尝试性著作《数学原理》后,柯里燃起了对数理逻辑的兴趣。在哈佛学习期间,柯里得到了数学博士学位。在他受乔治·戴维·伯克霍夫指引而研究微分方程的那段时间里,柯里的兴趣持续转向逻辑学。1927年柯里在普林斯顿大学时,他发现了Moses Schönfinkel(英语:Moses Schönfinkel)关于组合子逻辑的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了哥廷根大学与熟悉Moses Schönfinkel工作的Heinrich Behmann、Paul Bernays两人一起工作。

哈斯凯尔·柯里,1982年9月1日卒于宾夕法尼亚州立学院,享年82岁。

柯里的工作重点试图表明组合逻辑可以为数学提供一个基础。 到了1933年底,他从与John Rosser的通信中了解到了Kleene-Rosser悖论。 由Rosser和Stephen Kleene开发的这个悖论证明了一些相关的形式系统的不一致性,包括由Alonzo Church(一个有lambda演算作为一致子系统的系统)和柯里自己的系统提出的系统。 然而与邱奇,Kleene和Rosser不同的是,柯里并没有放弃基础的方法,他说他不想“逃离这个悖论”。

在研究组合逻辑的生涯中,柯里基本上成了这个领域的创始人。 组合逻辑是一种函数式编程范式的基础,能力和范围与邱奇的lambda演算非常相似,而后者近几十年来由其对可计算性质的形式化,居于计算机科学的主导地位。1947年柯里描述了第一个高级编程语言之一,并提供了将一般算术表达式转换为单地址计算机代码的过程的第一个描述。他在哈佛,普林斯顿,并于1929年至1966年,在宾夕法尼亚州立大学任教。1942年发表了柯里悖论。1966年成为阿姆斯特丹大学的逻辑学及其精确科学哲学教授,Evert Willem Beth的继任者。

柯里也撰写和教授数理逻辑;他的教学成果在1963年的《数学逻辑的基础》一书中到达巅峰。追随他的导师希尔伯特,他自认偏好的数学哲学是形式主义(比较他1951年的书)。

相关

  • 植物病理学植物病理学,是对于引起植物疾病的病原体(感染性微生物)和环境条件(生理因素)的科学研究 。引起感染性疾病的生物体包括真菌,卵菌,细菌,病毒,类病毒,病毒样生物,植原体,原生动物,线虫和寄
  • 止血止血(英语:hemostasis):使出血停止。当血管壁的连续性中断后,以下四个事件可阻止进一步出血:血管收缩、血小板血栓形成、血液凝固、机化。血管壁连续性中断后,受损部位及其附近的血
  • 列克星敦和康科德战役列克星敦和康科德战役(英语:Battles of Lexington and Concord)是英国陆军与北美民兵之间的一场武装冲突,发生于1775年4月19日。虽然美国参议院在1908年通过决议,将邓莫尔伯爵的
  • 戴维·格罗斯戴维·格娄斯(英语:David Jonathan Gross,1941年2月19日-),美国理论物理学家,凯维里理论物理研究所教授。他受业于伯克利加州大学的杰弗里·丘教授。在任教于普林斯顿大学期间,他和
  • 蟾蜍特尼定蟾蜍特尼定(英语:Bufotenidine,又译为蟾毒色胺内盐)是一种在多种蟾蜍的毒液发现的毒素,是蟾毒色胺的衍生物。
  • Woods Hole Oceanographic Institution伍兹霍尔海洋研究所(英文:Woods Hole Oceanographic Institution)是专注于海洋科学与海洋工程的非盈利私人研究和教学机构,成立于1930年,是美国最大的独立海洋学研究所,拥有教职员
  • 奥匈帝国皇储奥托奥托·冯·哈布斯堡(Otto von Habsburg,1912年11月20日-2011年7月4日),全名是弗兰茨·约瑟夫·奥托·罗伯特·玛丽亚·安东·卡尔·马克斯·海因里希·西克斯图斯·克萨韦尔·
  • 巴丹群岛坐标:20°24′N 121°57′E / 20.400°N 121.950°E / 20.400; 121.950巴丹群岛,又译巴坦群岛,是菲律宾最北的群岛。行政上属于巴丹群岛省,北隔巴士海峡与台湾台东县兰屿乡相望,
  • 外烟列岛外烟列岛(韩语:외연열도)是一个位于大韩民国忠清南道保宁市西方的群岛。由外烟岛、贸马岛、梧岛、横见岛、黑岛、黄岛、石岛7个岛屿组成行政上属于保宁市鳌川面(朝鲜语:오천면),岛
  • 大银鱼大银鱼(学名:Protosalanx chinensis)为辐鳍鱼纲胡瓜鱼目银鱼科大银鱼属的鱼类。分布于日本、朝鲜以及东海、黄海和渤海沿岸以及通海江河及其附属湖泊等海域,属于咸淡水鱼类,体长