哈斯凯尔·柯里

✍ dations ◷ 2025-09-08 20:42:25 #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年的书)。

相关

  • 3氦过程3氦过程是3个氦原子核(α粒子)转换成碳原子核的过程。这种核聚变反应可以在超过一亿K的高温和氦含量丰富的恒星内部迅速的发生。同样的,它发生在较老年,经由质子-质子链反应和碳
  • 法兰西共和国临时政府法兰西共和国临时政府(法语:Le Gouvernement provisoire de la République française,简称GPRF)是指自1944年至1946年管理法国(国号为法兰西共和国)的临时政府。1944年6月3日,法
  • 家兔家兔是指已经被人类驯化了的兔子,一般认为它们是由穴兔(学名:Oryctolagus cuniculus)所驯化而来。被人类驯化的家兔可以为人类提供肉类、皮毛。其温顺的性格也可用来当做宠物,家
  • 孝道四配颜回 · 孟子 · 曾参 · 孔伋日本藤原惺窝 · 林罗山 · 室鸠巢新井白石 · 雨森芳洲朝鲜薛聪 · 权近 · 吉再 · 安珦 · 李穑李滉 · 王仁 · 李齐贤 
  • 玻色-爱因斯坦统计玻色-爱因斯坦统计是玻色子所依从的统计规律。根据量子力学,玻色子是自旋为整数的粒子,其本征波函数对称,在玻色子的某一个能级上,可以容纳无限个粒子。因而符合玻色-爱因斯坦统
  • 夜鹰夜鹰目(学名:Caprimulgiformes)在动物分类学上是鸟纲中的一个目。这一目的鸟分布广泛,除了南极洲外各大洲都有分布。夜鹰目的学名 Caprimulgiformes 来自夜鹰属的属名 Caprimulg
  • 法学阶梯法学阶梯或法理概要(拉丁语:Institutiones Justiniani)是民法大全的一部。民法大全是一部罗马法的汇总,由六世纪的拜占庭皇帝查士丁尼一世下令编纂。查士丁尼的《法学阶梯》主要
  • 谢里夫·伊斯梅尔谢里夫·伊斯梅尔·穆罕默德(阿拉伯语:شريف إسماعيل‎;1955年7月6日-),是一名埃及工程师与政治人物。伊斯梅尔在在艾因夏姆斯大学修读机械工程,1978年毕业,后在国营石油
  • 美国艺术博物馆史密森尼美国艺术博物馆(英语:Smithsonian American Art Museum)是一个位于美国华盛顿特区的博物馆,属于史密森学会,展出各种美国艺术品。在史密森尼美国艺术博物馆展出作品的著
  • 第三巡回美国联邦第三巡回上诉法院(英语:United States Court of Appeals for the Third Circuit,案例引用为3d Cir.)是美国的13个联邦上诉法院之一。其司法管辖范围包括特拉华州、新泽