哈斯凯尔·柯里

✍ dations ◷ 2025-06-08 07:48:54 #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年的书)。

相关

  • 化生化生(梵语:upa-pāduka),佛教术语,意为无所依托自然地变化生出,为四生(四种众生出生的方式)之一,非生物学概念化生 (生物)(英语:Metaplasia)(metaplasia)。化生意为自然在虚空中乍现生出,不
  • 第一代头孢菌素(法语:Cephalosporine、英语:Cephalosporin),又名先锋霉素,是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年,由意大利科学家Giu
  • 蛲虫蛲虫(学名:Enterobius vermicularis,英文Pinworm),别名:针状虫、坐虫,线虫动物门中的一类肠道寄生虫,是蛲虫病的病因。在全世界均有其分布。成虫虫体外型有如粉红色线头,前端有三片
  • Wiki农场比较表这是一个Wiki站点架设网站的比较表,一般比较其收费、广告、著作权条款及Alexa排名。Wiki是一个网上合作工具;第一,他们是比一般网站容易编辑,且可以用标准浏览器访问;第二,修订是
  • 李廷栋李廷栋(1930年10月7日-),中国地质学家。出生于河北栾城。1950年考入北京大学地质系,1953年毕业于北京地质学院。1993年当选为中国科学院院士。中国科学院学部主席团成员,国土资源
  • 电路电子回路(英语:Electrical network),是由电气设备和元器件,按一定方式连接起来,为电荷流通提供了路径的总体,也叫电子线路或称电气回路,简称网络或回路。如电源、电阻、电容、电感、
  • 松前藩松前藩(日语:松前藩/まつまえはん Matsumae han */?)为日本江户时代渡岛国津轻郡(现在的北海道松前郡)曾经存在的藩。居城为松前福山城,因此该藩也被称为福山藩。藩主在江户时代
  • 伊朗门事件军售伊朗丑闻或称伊朗门事件(Irangate 或Iran-Contra Affair)是发生在美国80年代中期的政治丑闻。是指美国里根政府向伊朗秘密出售武器一事被揭露后而造成严重政治危机的事件
  • 华盛顿国家大教堂华盛顿国家座堂(英语:Washington National Cathedral),正式名称是圣彼得与圣保罗座堂(英语:Cathedral Church of Saint Peter and Saint Paul in the City and Diocese of Washing
  • 阿富汗狐(V. cana)阿富汗狐(Vulpes cana)是一种生活在中东的狐狸。阿富汗狐栖息在阿富汗、埃及、突厥斯坦、伊朗东北部、巴基斯坦西南部、巴勒斯坦及以色列的半干旱地区、干草原及山区。它们也