格哈德·根岑

✍ dations ◷ 2025-10-23 01:35:11 #1909年出生,1945年逝世,20世纪数学家,德国第二次世界大战人物,纳粹德国人物,德国数学家,逻辑学家,哥廷根大学校友,梅克伦堡-前波门人

格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。

他生于德国的格赖夫斯瓦尔德，在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。

他是纳粹党和冲锋队的成员，在1945年5月7日随所有在布拉格的德国人一起被逮捕之后，饿死于布拉格附近的战俘营中。

相关

约阿希姆·弗兰克约阿希姆·弗兰克（德语：Joachim Frank，1940年9月12日－），德美双籍生物学家。现于哥伦比亚大学任教。他被公认为“低温电子显微镜之父”。2017年与雅克·杜布歇、理查德·亨德森获得
海床海床（sea floor，也被称为海底、洋底ocean floor）是指海洋的底部，海洋板块构成的地壳表面，它对陆地形态的演变及地质史有重要影响。在洋中脊上涌的地幔物质形成新的洋底，大约耗用50
斯蒂芬·库夫勒斯蒂芬·威廉·库夫勒（匈牙利语：Stephen William Kuffler，1913年8月24日－1980年10月11日），生于匈牙利塔普，匈牙利籍-美籍神经生理学家，被公认为“现代神经科学之父”。1966年，库夫勒
HSVHSV可以指：
自我自我（希腊语：Ego、英语：Self），是一个人类，对于其自身个体存在、人格特质、社会形象，所产生的一种认知、意识与意象。通常人类个体会认为他们自身是一个连续性、整合、不可分、而且
汉语亲属系统汉语亲属系统（Chinese kinship）在人类学里被归类于描述型亲属系统（descriptive system）或苏丹型亲属系统（英语：Sudanese kinship）的一种。这是路易斯·亨利·摩尔根在1871年的作品
威廉·卢云·哈密顿威廉·卢云·哈密顿爵士（英语：Sir William Rowan Hamilton，1805年8月4日－1865年9月2日），爱尔兰数学家、物理学家及天文学家。哈密顿最大的成就或许在于重新表述了牛顿力学，创立被称
运动科学运动科学（英语：Sports Science），又译为体育科学，对于人类体育活动进行科学化分析的一个综合性学科。运动科学的研究领域，除了综合了许多传统的学问，例如生理学（Physiology）、心理学（Ps
三凤中街坐标：22°38′15″N 120°17′38″E / 22.6374546°N 120.293935°E / 22.6374546; 120.293935三凤中街，是台湾高雄市三民区饶富历史韵味的一条街道，位于建国三路以北、纵贯线
叶望辉叶望辉（英语：Stephen J. Yates），曾任美国爱达荷州共和党主席、副总统钱尼的副国家安全顾问。出生在马里兰州，曾就读马利兰大学学院市分校中文系及约翰·霍普金斯大学。身为耶稣基