凯尔·布鲁克·柯里 编辑
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
1
相关
柯里悖论是一种悖论，由美国数理逻辑学家哈斯凯尔·布鲁克·柯里提出，并且以其命名。它也与马丁·雨果·洛布的洛布定理有关，故也被称为洛布悖论。