格哈德·根岑

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

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

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

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

相关

脑内出血颅内出血（ICH）是头部颅骨内出血。这种情况可能导致血液或血块压迫到脑神经造成脑神经坏死。颅内出血包含：脑室内出血（英语：intraventricular bleed）和脑实质性出血（英语：intraparenc
超级细菌抗生素抗药性（antibiotic resistance）是抗药性的一种形式，借此特性，一些微生物亚群体，通常是细菌种，能够在暴露于一或多种抗生素之下得以生存；对多种抗生素具抗药性的病原体被视为
锡诺普锡诺普（辞源赫梯文: Sinuwa, 希腊文: Σινώπη/Sinope) ，土耳其在黑海的港口，锡诺普省省会，人口47000。它位于伊斯坦布尔到巴统航线中间，古代属于帕夫拉戈尼亚地区，是一个向东
进化生物学现代生物分类群体从它们的共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution）演化的证据共同起源共同起源的证据群体遗传学 · 遗传多样性突变 · 自
尸胺尸胺 (cadaverine)，又称1,5-戊二胺（1,5-pentanediamine）、1,5-二氨基戊烷（pentamethylenediamine）、五亚甲基二胺或尸毒素，分子式为NH2(CH2)5NH2，是一种在动物身体组织腐烂时由蛋白
年龄年龄是生物或非生物的存在时间，一般以十进制计算。一些研究认为，所有的人类文化都有指称年龄的词汇以及根据年龄而定的分级和地位，也就是说，指称年龄的词汇、年龄分级和年龄地位
NDP邻居发现协议（英语：Neighbor Discovery Protocol简称：NDP或ND）是TCP/IP协议栈的一部分，主要与IPv6共同使用。它工作在数据链路层，负责在链路上发现其他节点和相应的IP地址，并确定可
过去日本所占领的西太平洋岛屿太平洋群岛托管地（英语：Trust Territory of the Pacific Islands，TTPI），是联合国委托美国于西太平洋密克罗尼西亚群岛的一个托管地区，美国对该地区实际控制，直至1994年10月帕劳宣布
指长比指长比（Digit ratio）为手指底部折痕到手指前端中点(如图)不同手指长度的比例。一些科学家认为食指和无名指的指长比(2D:4D)受胎儿暴露在子宫的雄激素和雌激素不同程度结果所致
学问知识是对某个主题确信的认识，并且这些认识拥有潜在的能力为特定目的而使用。意指透过经验或联想，而能够熟悉进而了解某件事情；这种事实或状态就称为知识，其包括认识或了解某种科