格哈德·根岑

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

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

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

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

相关

  • 杀人杀人也称为他杀是杀害另一个人的行为,即故意以任何方法结束他人生命。杀人通常是谋杀,但有时也会是误杀或自卫杀人等。刑事杀人是不法行为,恶意行为。所有法律制度都有刑事杀人
  • 异营生物异营生物(英语:heterotroph)指不能直接以无机物或有机物,必须摄取现成的养分来维持生存机能的生物。异营生物包括捕食、寄生和腐生三种。 异营性动物细胞需要的物质为水和矿物质
  • 喷嚏喷嚏,又称喷嚏反射,是一种人和动物的生理反射行为。反射的感受器在鼻黏膜,由三叉神经传导到脑部。打喷嚏前,鼻子变得发酸、发痒。过程一般为急促吸气,张嘴,然后高速(可达每小时50公
  • 李自成李自成(1606年9月22日-1645年5月17日或1674年),原名鸿基,陕西米脂人,世居米脂李继迁寨,明末民变领袖之一,大顺政权皇帝。原是陕北驿卒。崇祯帝采信大臣裁撤驿卒的建议,造成失业驿卒武
  • 社会问题社会问题,指一社会所面临之普遍性问题(认定标准上会随社会文化不同而有差异)。社会问题是由于社会关系或社会环境失调,致使人类全体(如人口过多、环境破坏、战争)、国家整体(如社会
  • 副粘病毒科副粘液病毒科包括二个亚科,副粘液病毒亚科(Paramyxivirinae)及肺炎病毒亚科(Pneumovirinae)。副粘液病毒亚科除已归类六属病毒外,还有尚未归类之马麻疹病毒属(Equine Morbilli
  • 台湾闽南语用词陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 钱以垲钱以垲(1644年-1732年),字阆行,号蔗山。浙江嘉善人,钱士晋曾孙,清朝官员、同进士出身。康熙二十七年(1688年)戊辰科进士。历官通政使司右通政、左通政、少詹事。雍正五年(1727年)升左副
  • 建昌鸟建昌鸟属(学名:Jianchangornis)是一种生存于白垩纪早期的原始今鸟类。2009年首次发现于辽宁西部建昌县境内的早白垩世九佛堂组,以发现地命名。模式种为小齿建昌鸟
  • 惠灵顿维多利亚大学惠灵顿维多利亚大学(毛利语:Te Herenga Waka‎,英语:Victoria University of Wellington),是新西兰著名大学,位于首都惠灵顿。惠灵顿维多利亚大学是新西兰高品质研究强度排名第一的