格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日—1945年8月4日）是一位出生于德国格赖夫斯瓦尔德的数学家和逻辑学家。他在哥廷根大学接受教育，并在数学基础和证明论领域做出了贡献，尤其是在自然演绎和相继式演算方面。根岑曾是纳粹党和冲锋队的成员，1945年5月7日被逮捕后，于同年8月4日在布拉格附近的战俘营中去世。

格哈德·根岑在1929年至1933年间成为赫尔曼·外尔在哥廷根大学的学生。1934年至1943年，他担任戴维·希尔伯特的助手，并在1943年起成为布拉格查尔斯大学的教授。在他的学术生涯中，根岑提出了自然演绎系统N，以及与之相关的L系统，并证明了L系统中的任一证明都可以转换为一种特定的范式，这一发现被称为“主定理”。他还将“主定理”应用于算术系统的一致性证明，并在1936年通过超穷归纳法证明了自然数算术形式系统的一致性。根岑的主要著作包括《层次逻辑的无矛盾性》和《纯数论的无矛盾性》。

格哈德·根岑的研究重点在于数学基础和证明论。他的工作不仅包括了自然演绎和相继式演算的研究，还涉及了证明结构的简化和命题判定程序的发展。他的切消定理对证明论语义有着深远的影响，而他在《逻辑演绎研究》中的哲学评论与路德维希·维特根斯坦的观点相结合，为推论角色语义奠定了基础。根岑的研究成果在第二次世界大战结束前的证明论领域占据了重要地位。