格哈德·根岑

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

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

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

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

相关

  • 武装力量合众国武装力量(英语:United States Armed Forces),中文通称美军,是美国的联邦武装部队,为目前世界整体军事实力最强的军队,其规模和装备均位于世界第一。美军分为六大军种,即陆军、
  • 不产氧光合作用不产氧光合作用(英语:Anoxygenic photosynthesis)是指不以水为电子供体,而不产生氧气的光合作用。其光反应与碳反应均与产氧光合作用有所不同。常见的替代水作为光反应电子供体
  • 衣部,为汉字索引中的部首之一,康熙字典214个部首中的第一百四十五个(六划的则为第二十八个)。就繁体和简体中文中,衣部归于六划部首。衣部只以左、下方为部字。且无其他部首可用
  • 世界自闭症意识日世界提高自闭症意识日是每年的4月2日,自从1989年9月9日后,每年都举行。它由联合国大会62/139号“世界提高自闭症意识日”决议指定。最终在2007年12月18日被采用,当时由卡塔尔的
  • 象形象形文是根据构字方式而划分的一种汉字。六书中的一项,属于“独体造字法”。 六书有四个基本法则:象形、指事、会意、形声;两种补充法则:转注、假借。 许慎《说文解字》云:“象形
  • 阿林期阿林期(英语:Aalenian)是侏罗纪的第五个时期,年代大约位于174.1–170.3百万年前。
  • ASDASD可以指:
  • font color=white沙姆/font沙姆地区或沙姆(阿拉伯语:بلاد الشام‎或الشام‎,拉丁化:Bilād-al-Shām或al-Shām),是阿拉伯世界对于地中海东岸的整个累范特地区或大叙利亚地区的称呼,而随着历史
  • 韦布县韦布县(Webb County, Texas)是位于美国德克萨斯州南部的一个县,格兰德河在西界(同时是美国和墨西哥的边界)流过。面积8,743平方公里。根据美国2000年人口普查,共有人口193,117人。
  • 印度尼西亚行政区划政治主题印度尼西亚的一级行政区是省(印尼语:Provinsi),省由市和县组成。省、县和市有自己的地方政府和议会机构。自1999年颁布了关于地方政府的1999年第22号法开始(该法令由2004