哈斯凱爾·柯里

哈斯凱爾·布魯克·加里（英語：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，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歲。