格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日—1945年8月4日）是德國的數學家和邏輯學家。
生平
他生於德國的格賴夫斯瓦爾德，在1929年到1933年期間是赫爾曼·外爾在哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[1]他的主要工作是數學基礎中的證明論，特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石，《邏輯演繹研究》中的某些哲學評論和維根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。
引用
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
