格哈德·根岑

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

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

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

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

相关

法国兴业银行法国法国兴业银行（法语：Société Générale，简称法兴，Euronext：GLE）是法国银行业三巨头之一，另两个为法国巴黎银行（BNP Paribas，又名“巴黎国民银行”）和法国农业信贷银行（Crédit Ag
乙酰CoA乙酰辅酶A（英语：acetyl-CoA）是激活了的乙酸，由乙酰基（CH3CO-）与辅酶A的巯基以高能的硫酯键相连。乙酰辅酶A是脂肪酸的β-氧化及糖酵解后产生的丙酮酸脱羧后的产物。在三羧酸循环的
退行发育(Anaplasia)逆行性生长（Anaplasia），是指成熟的正常细胞非正常地复归未成熟的细胞，为恶性肿瘤（malignant neoplasms）的指标性症状。大多数癌细胞会导致细胞去分化，让细胞无限制的分裂。但发生在
水处理水处理（包括给水处理、污废水及雨水处理等）是指水经人为或自然现象，而改变其内容物成分变化的过程。人工的水处理可分为将自然界的水处理之后为人类使用，和将人使用过后的废水加
瓦吉特在埃及神话中，瓦吉特（埃及语：w3ḏyt；Wadjet亦作Wadjit、Wedjet、Uadjet或Ua Zit，希腊语：Udjo、Uto、Edjo或Buto等；中文则有乌加特、瓦杰特等译法）原本是德普当地的古代女神，德普即后
格娄斯戴维·格娄斯（英语：David Jonathan Gross，1941年2月19日－），美国理论物理学家，凯维里理论物理研究所教授。他受业于伯克利加州大学的杰弗里·丘教授。在任教于普林斯顿大学期间，他和
新东阳新东阳股份有限公司（英语：HSIN TUNG YANG Co., LTD.，简称：新东阳，英文：HSIN TUNG YANG ），是一家以制造肉松、肉干、烧腊食品起家的企业。创办人麦幸夫先生是桃园大园乡人，民国五十六
蛇尾海蛇尾，或阳燧足，是属于棘皮动物门的海蛇尾纲，是种类最多的一个纲，其下包括有220个属和2000个种。海蛇尾的结构与海星相似，但体盘相对较大，腕5个，盘与腕之间有明显交界，而后者腕与盘
同志国际同性恋黑手党（英语：Gay Mafia），也被称为“天鹅绒黑手党 / 丝绒黑手党”（Velvet Mafia）、“薰衣草黑手党 / 淡紫色黑手党”（Lavender Mafia）、“同性恋秘密警察”（Gaystapo）、“同性
基察普海军基地基察普海军基地（Naval Base Kitsap）位于美国华盛顿州基察普半岛，2004年由布雷默顿海军基地和班戈海军潜艇基地合并而成。（截止2015年5月）坐标：47°43′14″N 122°42′47″W / 47.