格哈德·根岑
维基百科，自由的百科全书
格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日 – 1945年8月4日）是德国的数学家和逻辑学家。
生于德国的格赖夫斯瓦尔得，由于效力纳粹而被逮捕之后，饿死于布拉格附近的战俘营中。
他在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。
[编辑] 引用
- 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.
