格哈德·根岑

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

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

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

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

相关

  • 酒(英语:Alcoholic beverage),其中含有0.5%至96%的酒精(即乙醇)。为人类饮用历史最长的加工饮品之一,由植物发酵制成。相传灵长类动物有着储存果实的习惯,有时会因自然发酵意外酿成
  • 海鲜海鲜又称海产、海味,是指海洋中可食用的生物,包括了鱼类、甲壳类(虾、蟹)、贝类、软体动物与棘皮动物。虽然海带、海藻等海洋植物也是常用来烹饪美食的食材,但是海鲜主要还是指海
  • 东亚日报《东亚日报》(朝鲜语:동아일보/東亞日報)是大韩民国的一家报纸。由韩国的媒体人金性洙、宋镇禹创刊于1920年4月1日。总部位于首尔特别市锺路区。日发行量2,068,647份(韩国发行公
  • 动画日本动画(日语: アニメ Anime ?),又叫日式动画,是指日本出品的动画作品,主要透过电视播出。由漫画、绘本、小说、轻小说或者游戏的改编而成,其次一部分为动画原创作品,以动画技术
  • 乌头乌头属又名附子属(学名:Aconitum)是一种属于毛茛科的开花植物的属,这个属有250多个种。又名.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-outpu
  • 吕达仁吕达仁(1940年-),中国大气物理学家,出生于上海,现为中国科学院大气物理研究所研究员。1962年毕业于北京大学,1966年在中国科学院大气物理研究所获硕士学位,2005年当选为中国科学院院
  • 无量纲在量纲分析中,无量纲量,或称无因次量、无维量、无维度量、无维数量、无次元量等,指的是没有量纲的量。它是个单纯的数字,量纲为1。无量纲量在数学、物理学、工程学、经济学以及
  • 德班市德班(英语:Durban,南非语:Durban)是南非夸祖鲁-纳塔尔省最大的一座城市,祖鲁语称之为“eThekwini(特克维尼)”,“itheku”在祖鲁语中意为“海港或潟湖”,而“eThekwini”的叫法即是由
  • 鲱鱼鲱鱼是大部分鲱科鱼的通称。它们多在暗沙或岸边联群游弋。其中,最常见,而且具高商业价值的鲱鱼有3种,皆属于鲱属,其捕获量占了鲱鱼总捕获量约90%。其中,三种鲱属鱼中捕获量最多的
  • 方北群方北群(?-)籍贯不详,中国人民解放军少将。方北群曾任中国人民解放军防空兵指挥学院院长等职务。2013年调任中国人民解放军总参谋部军训部副部长。在2015年由中国人民解放军总参谋