格哈德·根岑
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日—1945年8月4日)是德國的數學家和邏輯學家。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Gerhard_Gentzen.jpg/220px-Gerhard_Gentzen.jpg)
他生於德國的格賴夫斯瓦爾德,在1929年到1933年期間是赫爾曼·外爾在哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[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.
外部連結
編輯- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Gentzen, MacTutor數學史檔案 (英語)