哈斯凯尔·柯里

哈斯凯尔·布鲁克·加里（英语：Haskell Brooks Curry，1900年9月12日—1982年9月1日），生于美国麻萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。

程式语言Haskell、Brooks与Curry都是以他的名字来命名的。

生平

哈斯凯尔·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。

1916年他进入哈佛大学，原先预备攻读医学，但很快就转换到数学领域。1920年毕业后，他在麻省理工学院工作两年，之后又回到哈佛大学继续学业，1924年得到物理学硕士学位，之后取得数学博士学位。在这段时期里，当他接触到阿尔弗雷德·诺思·怀特黑德和伯特兰·罗素在数学符号逻辑领域的尝试性著作《数学原理》后，柯里燃起了对数理逻辑的兴趣。在哈佛学习期间，柯里得到了数学博士学位。在他受乔治·戴维·伯克霍夫指引而研究微分方程的那段时间里，柯里的兴趣持续转向逻辑学。1927年柯里在普利斯顿大学时，他发现了Moses Schönfinkel关于组合子逻辑的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了哥廷根大学与熟悉Moses Schönfinkel工作的Heinrich Behmann、Paul Bernays两人一起工作。

哈斯凯尔·柯里，1982年9月1日卒于宾夕法尼亚州学院，享年82岁。