格哈德·根岑

格哈德 · 根岑 （ Gerhard Karl Erich Gentzen ) 是德國的數學家和邏輯學家 。 他生於德國的格賴夫斯瓦爾德 ， 在1929年到1933年期間是赫爾曼 · 外爾在哥廷根大學的學生之一 。 在1934年到1943年間他是大衛 · 希爾伯特在哥廷根大學的助手 。 從1943年起他是布拉格大學的教授 。 他的主要工作是數學基礎中的證明論 ， 特別是自然演繹和相繼式演算 。 他的切消定理是證明論語義的基石 ， 《 邏輯演繹研究 》 中的某些哲學評論和維特根斯坦的格言 " 意義是使用 " 一起建立了推論角色語義的基礎 。 他是納粹黨和衝鋒隊的成員 ， 在1945年5月7日隨所有在布拉格的德國人一起被逮捕之後 ， 餓死於布拉格附近的戰俘營中 。