格哈德·根岑

生於德國的Greifswald，由於效力納粹而被逮捕之後，餓死於古拉格附近的戰俘營中。

他在1929年到1933年期間是 Hermann Weyl 在哥廷根大學的學生之一。他的主要工作是數學基礎中的證明論，特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石，《邏輯演繹研究》中的某些哲學評論和維特根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。

① 在1934年所作並在1935年發表的就職演説論文《關於邏輯推論的研究中》，提出了第一個自然演繹系統N，該系統共有十二條用圖式表達的關於邏輯聯結詞和量詞引進、消去的推理規則。

② 提出了和N相關的L系統，並證明：L系統中的任一證明，都可變為一個相應的範式，這種範式需要一種稱之為“切割”的運算。這就是他所謂的“主定理”。認為，雖“斷”的運算在表明L與N系統等價時是決定性的，但他能在L系統的任何證明中刪去。“主定理”使正確公式的證明結構簡單化，產生了L系統部分命題的判定程序，這一理論大大推進了自足演算中證明的確立。

③ 進一步把“主定理”用於算術系統的一致性證明。1936年證明藉助超窮歸納法，可以證明自然數算術形式系統的一致性。其後幾年，與其他人又給出了別的證明。他的研究成果代表了第二次世界大戰結束前證明論的最高成就。

主要著作還有：《層次邏輯的無矛盾性》（1936年）、《純數論的無矛盾性》（1936年）