格哈德·根岑
格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日—1945年8月4日）是德國的數學家和邏輯學家。
生平
他生於德國的格賴夫斯瓦爾德，在1929年到1933年期間是赫爾曼·外爾在哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[1]他的主要工作是數學基礎中的證明論，特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石，《邏輯演繹研究》中的某些哲學評論和維特根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。
他是納粹黨和沖鋒隊的成員，在1945年5月7日隨所有在布拉格的德國人一起被逮捕之後，餓死於布拉格附近的戰俘營中。
引用
- ^ Gerhard Gentzen （頁面存檔備份，存於網際網路檔案館） at math.muni.cz
- Eckart Menzler-Trott. Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland. Birkhäuser Verlag, 2001. ISBN 3-7643-6574-9. An English translation is planned.
- M. E. Szabo. Collected Papers of Gerhard Gentzen. North-Holland, 1969.
外部連結
- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Gentzen, MacTutor數學史檔案 （英語）
