柯里

出处：按学科分类—历史、地理 湖北人民出版社《二十世纪外国社会科学家辞典》第530页（229字）

【生卒】：1900—

美国逻辑学家，数学家。

曾任宾夕法尼亚州立大学研究教授。阿姆斯特丹基础研究所所长。与M·舍恩芬克尔同为推理逻辑的创始人。在数理哲学中，认为数学就是一种计算理论，并把这种观点同极端形式主义观点相结合。

在关于逻辑问题的研究中发现了一种以后以其名字命名的二律背反律——柯里二律背反。着有《形式推断理论》(1950)、《代数逻辑教程》(1952)、《推理逻辑》(2卷，编辑，1958，1972)等。