哈斯凯尔·柯里

✍ dations ◷ 2025-09-19 09:53:21 #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年的书)。

相关

  • 体香剂体香剂是一类作用在人体皮肤上的物质,来减低因排汗而产生的体味。出汗之所以有异味是因为汗液中包含了人体中分泌的水、氨基酸、脂质等物质,细菌在汗液的环境下极易繁殖,并分解
  • 航天科工集团中国航天科工集团有限公司(英文名称:China Aerospace Science & Industry Corporation,英文简称:CASIC)是中华人民共和国国务院管理的国有特大型企业集团。公司主要涉及导弹武器
  • 剥皮寮剥皮寮历史街区(今康定路173巷)位于台湾台北市万华区,北临老松国小,东至昆明街,南面广州街,西接康定路,为台北市今日硕果仅存的清代街道之一,台北市政府于2010年3月29日公告登录为历
  • 兰屿坐标:22°03′24″N 121°31′57″E / 22.0567358°N 121.5324732°E / 22.0567358; 121.5324732兰屿(达悟语:Irala),位于台湾东南方外海上,行政区划上为台东县兰屿乡所管辖,四面环
  • 瓦蒂萨属瓦蒂萨属是生存于泥盆纪中期的一种古代植物,属于枝蕨纲,和现今的蕨类为近亲。最近在斯科哈里郡发现的泥盆纪中期化石统一了“瓦蒂萨属”的树冠,其中树根和树干的部分早在1870年
  • 春季甲子园高中棒球选拔赛,全名选拔高等学校棒球大会(日语:選抜高等学校野球大会/せんばつこうとうがっこうやきゅうたいかい senbatsu kōtōgakkō yakyū taikai */?),是日本的全国高中
  • 廉州廉州,唐朝时设置的州,在今广西壮族自治区北海市境。贞观八年(634年),改越州置,治所在合浦县(今广西壮族自治区合浦县东北旧州)。辖境相当今广西壮族自治区合浦县、北海市二县市。天
  • 遗民遗民或称旧民,指原来的民人,一般是指某个地域的原住民。引申为改朝换代后,上一个时期或者朝代的人民,或指沦陷区之百姓、不事异朝之百姓。又可依年龄称为遗少、遗老。《左传·哀
  • 金城山金城山森林公园有“小峨嵋”的美称,位于岳池县的北部,是岳池县的最高点,海拔为824.6米。森林覆盖面积约5000多亩,其中梨园、桃园达1000多亩。各种森里景观、地貌景观及溶洞景观
  • 仓房镇仓房镇是河南省南阳市淅川县下辖的一个镇,位于淅川县西南部与湖北省丹江口市接壤,丹江口水库西岸。仓房镇境内始建于唐代的香严寺远近闻名,曾是慧忠国师的道场,也是著名的佛教寺