格哈德·根岑

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

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

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

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

相关

婚假婚假是法律容许工作者因结婚而休假，工资如数支付。在世界上这是并不常见的法律，例子包括马耳他（两工作天 "two working days"）及爱尔兰。山西省是特别的享有30天的假期，青海省是
结合位点在生物化学和分子生物学中，结合位点是大分子（如蛋白质）上的一个区域，它与另一个具有特异性的分子结合。大分子的结合伙伴通常被称为配体。配体可以包括其他蛋白质（导致蛋白质交互
Hsub3/subPOsub2/sub次磷酸（化学式：H3PO2）是一种磷的含氧酸，也是一种很强的还原剂。无色、低熔点的晶体，易过冷成粘稠液体，可溶于水、二
雷啸霖雷啸霖（1938年10月27日－），中国材料物理学家。生于广西桂林。1963年毕业于北京大学物理系。上海交通大学教授。1997年当选为中国科学院院士。
柏林会议柏林西非会议（英语：Berlin Conference，意指柏林会议；德语：Kongokonferenz，意指刚果会议）由欧洲强国在1884年至1885年与德国柏林举行，以准备他们在非洲建立殖民地与发展贸易。与会国
魏清泰魏清泰（？－？），清高宗孝仪纯皇后之父。正黄旗包衣管领下人，原任内管领，乾隆十三年（1748年）令嫔之父内管领清泰，负责已故孝贤皇后供桌上的饽饽，一直拖延不备，不久便因“迟误献供饽饽”而被罚
森诺曼期森诺曼期（英语：Cenomanian）是晚白垩世的第一个时期，年代大约位于100.5–93.9百万年前。森诺曼期的命名来源于法国城市勒芒的新拉丁语称呼：Cenomanum。森诺曼期的标准化石是萼菊石
BiPOsub4/sub磷酸铋是一种无机化合物，化学式为BiPO4。磷酸铋可由硝酸铋和磷酸二氢钠反应得到。
仁爱乡仁爱乡（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Jîn-
超球体在高维几何中，超球面（英语：Hypersphere）是指高维空间中，和一定点（称为中心）距离（称为半径）为定值的点组成的集合。超球面是余维数为1的流形，其维数比其空间维数少一。超球面的半径越大