哈斯凯尔·柯里

✍ dations ◷ 2025-06-29 04:20:23 #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年的书)。

相关

  • 甲炔在化学中,次甲基自由基(英语:Methylidyne radical)又称甲炔、碳炔,或称为一碳化一氢(英语:hydridocarbon、Carbon hydride)是一个仅由一个碳原子跟一个氢原子构成的极不稳定气体或自
  • 比哈尔比哈尔邦(印地语:बिहार,乌尔都语:بہار‎,拉丁字母转写:Bihar)是印度东北的一个邦,传说是佛教的起源地。除印地语、乌尔都语外,比哈尔语也是该邦的官方语言,此语言包含的方言
  • 不导电绝缘体(英语:Insulator),又称电介质或绝缘子,是一种阻碍电荷流动的材料。在绝缘体中,价带电子被紧密的束缚在其原子周围。这种材料在电气设备中用作绝缘体,或称起绝缘作用。其作用
  • 薛其坤薛其坤(1963年12月19日-),中国材料物理专家。中国科学院物理研究所研究员、清华大学教授、清华大学副校长。1963年生于山东蒙阴。1984年毕业于山东大学光学系。1984年到1987年在
  • 毛毯毛毯是一种常用的床上用品,具有保暖功能,与被子相比较薄。其原料多采用动物纤维(如羊毛、马海毛、安哥拉兔毛、其他兔毛、羊绒、驼绒、牦牛绒)或腈纶、粘胶纤维等化学纤维,也有的
  • 遣新罗使遣新罗使是日本派遣新罗的使节,特指公元668年以后派往统一新罗的使节。779年(宝龟10年)为最后派遣。日本与朝鲜半岛早期的交流资料不充分,仅可由史书等材料中的若干线索推测。广
  • 小艾伯特实验小艾伯特实验是一个显示婴儿经典条件反射的实验。这项研究也是一个刺激泛化的例子。它是在1920年由约翰·布罗德斯·华生和他的助手罗莎莉·雷纳在约翰霍普金斯大学进行的。
  • 英格兰足球代表队英格蘭國家足球隊(英语:England national football team)是代表英格兰出席国际足球赛事如世界杯及歐洲足球锦标赛等,由负责英格兰足球事务的足球协会所领导。由于历史原因联合王
  • 马来西亚协定《马来西亚协定》或《大不列颠及北爱尔兰联合王国与马来亚联合邦、北婆罗洲、砂拉越和新加坡之间关于马来西亚的协定》是一份结合北婆罗洲、砂拉越和新加坡来取代已有的马来
  • 白雪遗音《白雪遗音》是一本中国清代中叶的俗曲集,于1804年编辑完成,至1828年刊行。录有民间俗曲839首,分为4卷,编者为华广生。成书初期仅在少数文人间流传,1925年由郑振铎发现刻本后,才公