寇里，H．B．
【介绍】：
美国逻辑学家。1900年9月12日生于美国马萨诸塞州的米里斯。1982年9月1日卒于美国宾夕法尼亚州。父亲是波斯顿一所学校的校长。寇里在1916年入哈佛大学学医，后转学数学，1920年毕业，获学士学位。1924年在哈佛大学获物理硕士学位。1930年在德国哥廷根大学获博士学位，导师是D．希尔伯特。1929～1933年任宾夕法尼亚州立大学数学系助理教授，1933～1941年任副教授，1941年任教授，1966年退休。1966～1970年任荷兰阿姆斯特大学教授，基础研究所主任。二次大战期间曾离开宾州大学从事应用数学和应用物理方面的工作，并曾参加ENIAC计算机的工作。他是1936年建立的符号逻辑协会的创始人之一，1936～1937年任协会副主席，1938～1940年任协会主席；并曾任美国数学学会理事。1966年寇里学院授予他荣誉科学博士学位。
寇里是组合逻辑的创立者。虽然前苏联逻辑学家M．И．申芬克尔在1924年的文章中就引进了应用概念和组合算子，但由于健康原因没有继续研究。1926～1927年期间，寇里在阅读A．怀特海和B．罗素的《数学原理》第一部分时，认为代入规则是一个复杂的规则，试图把它分析成几个像分离规则那样的简单规则，有了组合算子的观念(独立于申芬克尔)，并选定这一课题做他的博士学位论文。他认为组合逻辑的研究是前逻辑的分析，目的为逻辑和数学提供基础。1929年他建立了组合逻辑的第一个演绎系统理论，引进了组合逻辑的基本术语。1930年他证明了纯组合逻辑是协调的，但对推论的组合逻辑，S．C．克利尼和J．B．罗塞尔在1935年证明是不协调的。此后寇里重新建立了几个推论的组合逻辑系统。寇里对组合逻辑研究的一个重要结果是证明标准化定理：设M，N是组合逻辑CL的项。若M可弱归约N，则存在一特别简单形式的从M到N的归约，称为标准归约。他还证明了组合逻辑不可判定性结果的一个一般性定理。他对组合逻辑的研究和发展所作的工作，最后总结在两卷本《组合逻辑》中。寇里研究的另一领域属根岑型证明论方面。他也对逻辑和数学的哲学问题发表过多篇论文。主要著作有《形式可推演性理论》(1950)、《形式主义者的数学哲学概论》(1951)、《组合逻辑》(第一卷，1958，与R．费斯合著；第二卷，1972，与J．R．兴德雷和J．P．塞尔丁合著)和《数理逻辑基础》(1963)。