哈斯凯尔·加里
哈斯凯尔·布鲁克斯·加里（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岁）在宾夕法尼亚州的州立学院去世。
主要作品
加里的主要出版物包括《组合逻辑基础》《形式推导理论》《形式主义数学哲学概述》《代数逻辑课程》《数学逻辑基础》等。