哈斯凱爾·布魯克斯·加里（Haskell Brooks Curry，1900年9月12日 - 1982年9月1日）是一位美國數學家和邏輯學家。他在組合邏輯領域的工作引起了廣泛關注，這個概念最初是基于摩西·舍恩芬克爾的一篇論文，而加里對其進行了大量的發展。加里還以加里悖論和加里-霍華德對應聞名。以他的名字命名的有三種編程語言：Haskell、Brook和Curry，以及Currying的概念，這是一種在數學和計算機科學中用于轉換函數的方法。
人物經歷
哈斯凱爾·加里于1900年9月12日在馬薩諸塞州的米利斯出生，他的父母是塞繆爾·西拉斯·加里和安娜·巴萊特·加里，他們經營一所演講學校。
他于1916年進入哈佛大學學習醫學，但在1920年畢業前轉為數學專業。在麻省理工學院進行了兩年的電機工程學研究生工作后，他回到哈佛學習物理，于1924年獲得藝術碩士學位。在這期間，他接觸到了《數學原理》，這是阿爾弗雷德·諾思·懷特海德和伯特蘭·阿瑟·威廉·羅素試圖將數學基礎化為符號邏輯的嘗試，從而開始對數學邏輯產生了興趣。他留在哈佛，攻讀數學博士學位。
1927年，他在普林斯頓大學任教時，發現了摩西·舍恩芬克爾在組合邏輯方面的工作。舍恩芬克爾的工作預見了加里自己的許多研究，因此，他轉到了哥廷根大學，與熟悉舍恩芬克爾工作的海因里希·貝曼和保羅·伯納斯一起工作。加里的博士論文指導教師是戴維·希爾伯特，他與伯納斯緊密合作，于1930年以一篇關于組合邏輯的論文獲得博士學位。
個人生活
1928年，加里在離開哥廷根市前與瑪麗·弗吉尼亞·惠特利結婚。他們在德國生活，加里完成他的博士論文，然后在1929年搬到賓夕法尼亞州的州立學院，加里在賓夕法尼亞州立學院接受了一個職位。他們有兩個孩子，安妮·賴特·加里（1930年7月27日）和羅伯特·惠特利·加里（1934年7月6日）。哈斯凱爾·加里于1982年9月1日（81歲）在賓夕法尼亞州的州立學院去世。
主要作品
加里的主要出版物包括《組合邏輯基礎》《形式推導理論》《形式主義數學哲學概述》《代數邏輯課程》《數學邏輯基礎》等。
參考資料 >