格哈德·根岑維基百科,自由的 encyclopedia 格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日—1945年8月4日)是德國的數學家和邏輯學家。 格哈德·根岑 他生於德國的格賴夫斯瓦爾德,在1929年到1933年期間是赫爾曼·外爾在哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[1]他的主要工作是數學基礎中的證明論,特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石,《邏輯演繹研究》中的某些哲學評論和維特根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。 他是納粹黨和沖鋒隊的成員,在1945年5月7日隨所有在布拉格的德國人一起被逮捕之後,餓死於布拉格附近的戰俘營中。
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日—1945年8月4日)是德國的數學家和邏輯學家。 格哈德·根岑 他生於德國的格賴夫斯瓦爾德,在1929年到1933年期間是赫爾曼·外爾在哥廷根大學的學生之一。在1934年到1943年間他是大衛·希爾伯特在哥廷根大學的助手。從1943年起他是布拉格大學的教授。[1]他的主要工作是數學基礎中的證明論,特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石,《邏輯演繹研究》中的某些哲學評論和維特根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。 他是納粹黨和沖鋒隊的成員,在1945年5月7日隨所有在布拉格的德國人一起被逮捕之後,餓死於布拉格附近的戰俘營中。