哈斯凯尔·柯里

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

相关

  • 人乳头状瘤病毒人类乳头瘤病毒(Human Papillomavirus,HPV)是一种DNA病毒,属于乳头瘤病毒科乳头瘤病毒属。该类病毒感染人体的表皮与黏膜组织,目前约有170种类型的HPV被判别出来,有些时候HPV入侵
  • 活性炭活性炭(英语:Active charcoal),亦称活性碳(英语:Active carbon)、活化炭(英语:Activated charcoal;Activated char)或活化碳(英语:Activated carbon),是黑色粉末状或颗粒状的碳物质。活性炭
  • 稳定稳定同位素(Stable isotope),是指化学元素中,不发生放射性衰变或不易发生放射性衰变的同位素,稳定同位素即使会发生衰变,因半衰期太长而无法测量出。所有同位素中,只有前66个元素中
  • 钱恩恩斯特·鲍里斯·钱恩爵士(Sir Ernst Boris Chain,1906年6月19日-1979年8月12日)是一位出生于德国的英国生物化学家,他因为有关盘尼西林的研究,而与亚历山大·弗莱明及霍华德·弗
  • 成衣成衣(法文:Prêt-à-porter),是相对于在裁缝店量身订做的衣服。在 历史上,在成衣未出现的年代,衣服的出品是用家自制的,或者到裁缝店度身订造的。后来也有少量的成衣生产出售,但数量
  • 地毯地毯(又称地毡),是一种纺织物,铺放于地上,作为家俬装修设施,有美化家居,保温等功能。尤其家中有幼童或长者,可以避免摔倒受伤。挂毯是挂在墙上的毛毯,未必称为地毯。 亦有专栏指出早
  • 绵枣儿属绵枣儿属 是天门冬科风信子亚科中的一个属,本属植物为多年生球根植物,约有90多种,原生在欧洲、亚洲和非洲的森林、沼泽、和沿海滩涂地带,多数在春季开花,也有少数品种在秋季开花,
  • 超级篮球联赛超级篮球联赛(英语:Super Basketball League,縮寫:SBL)是台湾一个半职业的男子篮球联盟,由中华篮球协会创设管理,至2019–2020赛季SBL为止共有裕隆纳智捷、台湾啤酒、高雄九太科技
  • 台湾竞争力论坛社团法人台湾竞争力论坛学会,简称台湾竞争力论坛,2007年成立。理事长为庞建国,总召集人为彭锦鹏,执行长为谢明辉。该论坛的立场偏向泛蓝。
  • 洛阳牡丹花会中国洛阳牡丹文化节是由中国文化部和河南省人民政府每年春季主办的以洛阳牡丹为主题的文化旅游类节会,其前身是洛阳牡丹花会,是中国四大名会之一。自1982年洛阳市政府将牡丹定