格哈德·根岑 格哈德根岑Gerhard Karl Erich Gentzen年月日年月日是德国的数学家和逻辑学家 他生于德国的格赖夫斯瓦尔德在年到年期间是赫尔曼外尔在哥廷根大学的学生之一在年到年間他是大卫希尔伯特在哥廷根大学的助手從年起他是布拉格大學的教授他的主要工作是数学基础中的证明论特别是自然演绎和相继式演算他的切消定理是证明论语义的基石逻辑演绎研究中的某些哲学评论和维特根斯坦的格言意义是使用一起建立了推论角色语义的基础 他是納粹黨和沖鋒隊的成員在年月日隨所有在布拉格的德國人一起被逮捕之后饿死于布拉格附近的战俘营中