來源：互聯網
格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日—1945年8月4日）是一位出生于德國格賴夫斯瓦爾德的數學家和邏輯學家。他在哥廷根大學接受教育，并在數學基礎和證明論領域做出了貢獻，尤其是在自然演繹和相繼式演算方面。根岑曾是納粹黨和沖鋒隊的成員，1945年5月7日被逮捕后，于同年8月4日在布拉格附近的戰俘營中去世。
人物經歷
格哈德·根岑在1929年至1933年間成為赫爾曼·外爾在哥廷根大學的學生。1934年至1943年，他擔任戴維·希爾伯特的助手，并在1943年起成為布拉格查爾斯大學的教授。在他的學術生涯中，根岑提出了自然演繹系統N，以及與之相關的L系統，并證明了L系統中的任一證明都可以轉換為一種特定的范式，這一發現被稱為“主定理”。他還將“主定理”應用于算術系統的一致性證明，并在1936年通過超窮歸納法證明了自然數算術形式系統的一致性。根岑的主要著作包括《層次邏輯的無矛盾性》和《純數論的無矛盾性》。
主要貢獻
格哈德·根岑的研究重點在于數學基礎和證明論。他的工作不僅包括了自然演繹和相繼式演算的研究，還涉及了證明結構的簡化和命題判定程序的發展。他的切消定理對證明論語義有著深遠的影響，而他在《邏輯演繹研究》中的哲學評論與路德維希·維特根斯坦的觀點相結合，為推論角色語義奠定了基礎。根岑的研究成果在第二次世界大戰結束前的證明論領域占據了重要地位。
參考資料 >