哈斯凯尔·柯里

✍ dations ◷ 2025-04-03 17:48:17 #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年的书)。

相关

  • 成员国欧洲联盟成员国是根据《欧洲联盟条约》,自愿加入欧洲联盟的国家。和一般的国际组织不同,作为欧盟的成员国,要遵守共同制定的统一法律;但和联邦制的国家(如美国)又不同,每个成员国有
  • 古细菌界古菌(拉丁语:Archaea,来自古希腊语:ἀρχαῖα,意为“古代的东西”)又称古细菌、古生菌或太古生物、古核生物,是单细胞微生物,构成生物分类的一个域,或一个界。这些微生物1970年前
  • 圣菲圣菲(英语:Santa Fe,纳瓦霍语:Yootó),是美国新墨西哥州的州府,它的名字来自于西班牙语,是“神圣的信仰”的意思。2000年人口普查时它有62,203居民。它也是圣菲县的政府所在地。为了
  • 毛细血管扩张性运动失调共济失调微血管扩张症候群是一种小脑运动失调疾病,常于3-6岁发病,并会有免疫不全、微血管扩张,以及容易发生癌症,对辐射的抗性亦有所下降。其发生率为1/40000至100000。遗传方面
  • 帝国自由城市帝国自由城市(free and imperial cities (德语: Freie und Reichsstädte))是神圣罗马帝国中的一种特殊行政区划,帝国自由城市的城市不被任何一个帝国贵族管辖,其直辖于神圣罗马
  • 梅赛德斯name = 'Transport', description = '交通', content = {{ type = 'text', text = [[]] }, { type = 'item', original = 'articulated bus', rule = 'zh-cn:铰接客车;zh-tw
  • 鳞足蜗牛鳞角腹足蜗牛(学名:Chrysomallon squamiferum)是一种生活在深海热泉的海螺,属于Peltospiridae(英语:Peltospiridae)科的海洋腹足纲软体动物物种,也是鳞角腹足蜗牛属(Chrysomallon)的单
  • 韩日关系韩日关系或日韩关系是指大韩民国与日本的双边关系。1951年10月,韩日双方在美国的积极调解下,开始了邦交正常化的预备性会谈。但由于双方对日占领时期历史问题分歧过大,韩日双方
  • 体积摩尔浓度体积摩尔浓度(英语:molarity,通常以大寫M表示)是化学的一种通用浓度单位,体积摩尔浓度 c i
  • 摩门教拓荒者摩尔门教拓荒者泛指迁往犹他州的耶稣基督后期圣徒教会教徒,早在1847年4月已经有高达七万的摩尔门教移民从美国中西部迁入盐湖城。移民潮后来随着由抵美华工建造、横贯加州南