格哈德·根岑

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

格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日-1945年8月4日)是德国的数学家和逻辑学家。

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

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

相关

  • 颤音颤音根据上下文的不同,可能有以下含意:
  • CMg有机镁化学是研究含有镁-碳键的化学分支。有机镁化合物中,镁都已正二价的形式出现。格氏试剂(Grignard reagent)是最重要的一类有机镁化合物,它由卤代烃和镁在适宜的条件下(如溶
  • 玛雅文明玛雅文明(Mayan),是古代分布于今墨西哥东南部、危地马拉、洪都拉斯、萨尔瓦多和伯利兹5个国家的丛林文明。虽然处于新石器时代,惟在天文学、数学、农业、艺术及文字等方面都有极
  • 列昂尼德·克尔德什列昂尼德·韦尼阿米诺维奇·克尔德什(俄语:Леони́д Вениами́нович Ке́лдыш,1931年4月7日-2016年11月11日),俄罗斯物理学家。凯尔迪什是莫斯科俄罗斯科
  • 卡尔马联盟卡尔马联盟(丹麦语、瑞典语、挪威语:Kalmarunionen)是1397年至1523年由斯堪的纳维亚的丹麦、瑞典(包括芬兰)和挪威(包括冰岛、法罗群岛、格陵兰、设得兰和奥克尼)为主组成的共主邦
  • BGP边界网关协议(英语:Border Gateway Protocol,缩写:BGP)是互联网上一个核心的去中心化自治路由协议。它通过维护IP路由表或‘前缀’表来实现自治系统(AS)之间的可达性,属于矢量路由协
  • 按揭抵押(mortgage),是指提供私人资产(不论是否为不动产)作为债务担保的动作,多发生于购买房地产时银行借出的抵押贷款或在典当商折现非不动产的物品。抵押常在银行或地产界使用。在广
  • 特殊性阅读障碍失读症(英语:Dyslexia、reading disorder、alexia),或称阅读障碍,是描述在智力无缺损的状况下,对于阅读和书写文字具有困难的症状。症状的严重程度因人而异。其他的症状包括难以拼
  • 英国国民英国(历史) 澳洲 巴巴多斯 加拿大(历史) 印度 马来西亚 马耳他 新西兰 萨摩亚 新加坡 南非 汤加 爱尔兰公民在英国英国公民 英籍人士 英国海外领土公民 英国海外公民 英国国民(海
  • 鄱阳湖鄱阳湖,是中国的一处淡水湖,位于江西省北部、长江南岸,鄱阳湖上承赣、抚、信、饶、修五河之水,下接中国第一大河——长江。鄱阳湖介于北纬28度22分~29度45分,东经115度47分~116度45