Leon Henkin，美国逻辑学家（2006 年逝世）

Leon Albert Henkin（1921 年 4 月 19 日，纽约布鲁克林 - 2006 年 11 月 1 日，加利福尼亚奥克兰）是 20 世纪最重要的逻辑学家和数学家之一。他的作品在逻辑发展中发挥了重要作用，特别是在类型论方面。他是加州大学伯克利分校的活跃学者，在那里他作为研究员、教师和行政职位做出了巨大贡献。在这所大学，他与阿尔弗雷德·塔斯基（Alfred Tarski）一起指导了逻辑学和科学方法论小组，从中涌现出许多重要的逻辑学家和哲学家。他具有强烈的社会责任感，并且是他的和平主义和进步思想的热情捍卫者。他参与了许多旨在教授数学的社会项目，以及旨在支持妇女和少数群体在数学和相关领域从事职业的项目。他热爱舞蹈和文学，欣赏生活的方方面面：艺术、文化、科学，尤其是人际关系的温暖。他因他的善良，以及卓越的学术和教学而被学生们铭记。Henkin 主要以他对各种形式系统的完备性证明而闻名，例如类型论和一阶逻辑（后者的完备性， Kurt Gödel 在 1929 年证明了它的弱版本）。为了证明类型论的完整性，Henkin 基于某些结构引入了新的语义，称为通用模型（也称为 Henkin 模型）。他提出的语义变化允许为类型论和二阶逻辑以及其他逻辑提供完整的演绎演算。亨金方法有助于证明各种模型理论结果，包括经典逻辑和非经典逻辑。除了逻辑，他研究的另一个分支是代数。他专攻圆柱代数，与 A. Tarski 和 D. Monk 一起工作。至于数学哲学，虽然他明确接近它的著作很少，但也可以认为他有唯名论的立场。