格哈德·根岑

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

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

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

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

相关

  • 脱氧核糖去氧核糖(Deoxyribose)又称脫氧核糖、D-脱氧核糖、2-脱氧核糖或D-2-脱氧核糖,是核糖的2-位羟基被氢取代后形成的脱氧糖衍生物,是一个戊醛糖。它同时也是D-阿拉伯糖的2-脱氧产物
  • 性与法律性犯罪是指未经双方同意违反自由意愿的性行为及有关的犯罪行为,通常性犯罪会伴随暴力行为发生,常见的性犯罪有强迫性行为、性骚扰、猥亵及拐卖人口。短语“最低合法性交年龄”
  • 原虫原生动物是动物界中最低级、最原始、最简单的一类动物,属于原生生物当中较接近动物的一类,简称原虫。身体由单个细胞所构成,因此也被称为单细胞动物。多营自由生活,也有的生活在
  • 视丘丘脑(英文:thalamus)是间脑的一个主要解剖结构。本条目主要着眼于人类丘脑,和其他非人类的灵长目动物及其它动物可能有细微的差别。人类的丘脑基本上是两个球形的结构,各长约5
  • 草鱼草鱼(学名:Ctenopharyngodon idella),又称鲩鱼(汉语拼音:huànyú)、
  • 有机肥料肥料是任一天然或合成的一种或多种植物成长发育所必需的营养元素,约30%~50%的作物产量增加是来归因于天然或无机化学合成的商业肥料。市面上出售的肥料种类及品牌极多,依成分
  • 鸡油菌目参见内文Botryobasidiales Jülich Ceratobasidiales Jülich Tulasnellales Rea鸡油菌目(学名:Cantharellales)是伞菌纲下的一目。这一目不仅包括鸡油菌,也包含了一些齿菌(齿菌
  • 湖南巡抚湖南巡抚,全称巡抚湖南等处地方提督军务、节制各镇兼理粮饷,官衔从二品。巡抚例兼都察院右副都御史,并兼兵部侍郎衔,加衔后升为正二品。巡抚别称“抚院”、“抚台”、“抚军”,是
  • 图尔格图尔格(?年-1645年),钮祜禄氏,满洲镶白旗人,后金开国五大臣之首额亦都第八子。顺治帝遗命的四位顾命大臣之一遏必隆之兄。图尔格年少时跟从努尔哈赤征伐,累积功绩授封世职参将。娶和
  • 弗迪格里斯河弗迪格里斯河(英语:Verdigris River,/ˈvɜːrdᵻɡrɪs/)是阿肯色河的一条支流,位于美国堪萨斯州的东南部和奥克拉荷马州的东北部,长约310英里(500千米),是密西西比河流域的一部分。