格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日—1945年8月4日）是一位出生于德国 格赖夫斯瓦尔德 的数学家和逻辑学家。他在 哥廷根大学 接受教育，并在 数学基础 和 证明论 领域做出了贡献，尤其是在自然演绎和相继式演算方面。根岑曾是 纳粹党 和 冲锋队 的成员，1945年5月7日被逮捕后，于同年8月4日在 布拉格 附近的战俘营中去世。
人物经历
格哈德·根岑在1929年至1933年间成为 赫尔曼·外尔 在哥廷根大学的学生。1934年至1943年，他担任 戴维·希尔伯特 的助手，并在1943年起成为 布拉格查尔斯大学 的教授。在他的学术生涯中，根岑提出了自然演绎系统N，以及与之相关的L系统，并证明了L系统中的任一证明都可以转换为一种特定的 范式 ，这一发现被称为“ 主定理 ”。他还将“主定理”应用于算术系统的一致性证明，并在1936年通过超穷归纳法证明了 自然数 算术形式系统的一致性。根岑的主要著作包括《层次逻辑的无矛盾性》和《纯数论的无矛盾性》。
主要贡献
格哈德·根岑的研究重点在于 数学基础 和 证明论 。他的工作不仅包括了自然演绎和相继式演算的研究，还涉及了证明结构的简化和命题判定程序的发展。他的 切消定理 对证明论语义有着深远的影响，而他在《逻辑演绎研究》中的哲学评论与 路德维希·维特根斯坦 的观点相结合，为推论角色语义奠定了基础。根岑的研究成果在 第二次世界大战 结束前的证明论领域占据了重要地位。