格哈德·根岑

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

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

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

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

相关

  • 延髓延髓(英语:medulla oblongata),为中央神经系统的一部分,是脑干最下方的结构,位于小脑正前方。长约一吋半,宽约半吋。上接脑桥(pons) ,下接脊髓(spinal cord)。它具有第九至第十二颅神
  • 酒石酸氢钾酒石酸氢钾(化学式:KC4H5O6)是酒石酸钾的酸式盐。通常为无色至白色斜方晶系结晶性粉末,在水中的溶解度随温度而变化,不溶于乙醇、乙酸,易溶于无机酸;是酿葡萄酒时的副产品,食品工业
  • 国际废除核武器运动国际废除核武器运动(英语:International Campaign to Abolish Nuclear Weapons, ICAN;/ˈaɪkæn/ EYE-kan)为一个全球公民社会联盟,致力于遵守与全力执行《禁止核武器条约》,并在
  • 申根公约《申根协议》(德语:Schengener Abkommen;法语:Convention de Schengen;荷兰语:Verdrag van Schengen),是一项欧洲大陆国家间的条约协定,其签约目的是取消相互之间的边境检查点,并协调
  • 电子数值积分计算机电子数值积分计算机(英语:Electronic Numerical Integrator And Computer),由其缩写,简称为伊尼亚克(英语:ENIAC,发音: /ˈɛni.æk/,也可称埃尼阿克)是世界上第一台通用计算机。它是图
  • 外高加索南高加索(South Caucasus),又称外高加索(Transcaucasia),大约指高加索山脉以南格鲁吉亚、亚美尼亚、阿塞拜疆三国所在地区。外高加索地区位于欧亚大陆中心,石油和天然气资源丰富。1
  • 拉赫曼谢赫·穆吉布·拉赫曼(孟加拉语:শেখ মুজিবুর রহমান,英语:Sheikh Mujibur Rahman,1920年3月17日-1975年8月15日,生于汤基帕拉乌帕齐拉),东巴基斯坦政治领袖、孟加拉人
  • 天鹅龙虾天鹅龙虾(学名:Panulirus cygnus)是分布在澳洲西部的一种龙虾。它们是澳洲最有价值的渔获,占了全澳洲总渔业价值的20%。天鹅龙虾有5对脚,雌虾的第5对脚有爪,在口部有6对较为细小的
  • 库尔河库尔河是俄罗斯的河流,位于哈巴罗夫斯克边疆区,与乌尔米河汇合成为属于黑龙江左支流的通古斯卡河,河道全长434公里,在夏季时经常河水泛滥。
  • 二叠纪二叠纪(英语:Permian,符号P)是古生代的最后一个地质时代,时间处于石炭纪、三叠纪之间(2.99-2.51亿年前)。定义二叠纪的岩石层是比较分明的,但开始、结束的精确年代却有争议。其不精