格哈德·根岑

格哈德·根岑Gerhard Karl Erich Gentzen,1909年11月24日—1945年8月4日)是德國數學家邏輯學家

格哈德·根岑

生平

編輯

他生於德國的格賴夫斯瓦爾德,在1929年到1933年期間是赫爾曼·外爾哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[1]他的主要工作是數學基礎中的證明論,特別是自然演繹相繼式演算。他的切消定理證明論語義的基石,《邏輯演繹研究》中的某些哲學評論和維特根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。

他是納粹黨沖鋒隊的成員,在1945年5月7日隨所有在布拉格的德國人一起被逮捕之後,餓死於布拉格附近的戰俘營中。

引用

編輯
  1. ^ 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.

外部連結

編輯