哈斯凯尔·柯里

✍ dations ◷ 2025-07-26 17:35: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年的书)。

相关

  • 恩斯特·鲁斯卡恩斯特·奥古斯特·弗里德里希·鲁斯卡(德语:Ernst August Friedrich Ruska,1906年12月25日-1988年5月27日),德国物理学家,电子显微镜的发明者,1986年获诺贝尔物理学奖。恩斯特·鲁
  • 抗体酶抗体酶(Abzyme)也称催化性抗体,是具有催化活性的单克隆抗体。它是抗体的高度特异性与酶的高效催化性的结合产物,其实质是一类在可变区赋予了酶活性的免疫球蛋白。抗体酶的历史可
  • 金鸡纳约25种;另见本文金鸡纳树属(学名:Cinchona,又称作鸡纳树、金鸡勒、奎宁树)为茜草科的一属,约包含25种的物种,树皮和根皮是提取奎宁和奎尼丁的重要工业原料。一般为常绿小乔木,高度约
  • 胞质溶胶细胞质基质(cytoplasmic matrix、intracellular fluid(ICF)),又称胞质溶胶(cytosol)、基本细胞质(fundamental或ground cytoplasm)、透明质(hyaloplasm)。为细胞质中除去细胞器和内容
  • 加成聚合反应加成反应(addition reaction)是一种有机化学反应,它发生在有双键或叁键的物质中。加成反应进行后,重键打开,原来重键两端的原子各连接上一个新的基团。加成反应一般是两分子反应
  • NISO美国国家信息标准组织(National Information Standards Organization,简称NISO)是美国的非营利标准制定组织,发展、维持并出版有关于出版业、书目与图书馆应用学的相关技术标准
  • 诺玛·希拉瑙玛·希拉(英语:Norma Shearer,1902年8月10日-1983年6月12日),美国女演员,曾凭1930年电影 《弃妇》获得奥斯卡最佳女主角奖。瑙玛·希拉1902年8月10日出生于魁北克省的蒙特利尔市,
  • 大谷直人大谷 直人(おおたに なおと;英语:Naoto Ōtani、1952年6月23日-)为日本的法官。北海道赤平市出身。就读过东京都立富士高等学校(日语:東京都立富士高等学校・附属中学校)、东京大学
  • 常住人口常住人口是人口统计中的一个名词。指实际居住在某地区满特定时间(例如在中国的统计中是以半年,在日本则一般是3个月)的人口总数。与户籍人口不同之处在于,计算常住人口时,要将户
  • 朝鲜民主主义人民共和国交通朝鲜交通在国际属于中度发达,战乱的历史中也修筑了许多铁路和公路。然而因为贫穷,普遍市民交通常以自行车和大众运输代步,首都平壤的车辆相对较多,除了各种国营机构和企业、商店