格哈德·根岑

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

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

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

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

相关

  • 伊斯兰文明相关系列部分阿拉伯 · 阿塞拜疆 印度伊斯兰 · Iwan · 马来族 摩尔人 · 摩洛哥 · 莫卧儿 奥斯曼 · 波斯 · 索马里 苏丹-萨赫勒 · 鞑靼书法 · 细密画 
  • 伤寒杂病论《伤寒杂病论》,又作《伤寒卒病论》,为东汉张仲景所著,是中国第一部理法方药皆备、理论联系实际的中医临床著作。此书被认为是汉医学之内科学经典,奠定了中医学的基础。在四库全
  • 太极太极是中国思想史上的重要概念,主要继承自《周易》:“易有大恒,是生两檥。两檥生四马,四马生八卦。”(马王堆出土本),故改“恒”为“极”,而四马同时改为四象。“太”与“大”古时相
  • 新胡安岛新胡安岛(法语:Île Juan-de-Nova)是位于莫桑比克海峡中部的一个环礁,为法属印度洋诸岛之一。该岛处于马达加斯加岛以西。陆地面积约4.4平方千米,无常住人口。该岛6公里长,1.6公里
  • 拉斯·冯·提尔拉斯·冯·提尔(丹麦语:Lars von Trier,1956年4月30日-)是一位丹麦导演与剧作家,他是前卫、激进电影拍摄运动道格玛95宣言的发起人之一,但他自己本身的电影拍摄手法则多变与不断实
  • 让·德·拉特尔·德·塔西尼法国第1集团军让·约瑟夫·马里·加布里埃尔·德·拉特尔·德·塔西尼,GCB,MC(法语:Jean Joseph Marie Gabriel de Lattre de Tassigny,1889年2月2日-1952年1月11日),法国著名将领,其
  • YAHOO!搜寻人气大奖2007年度YAHOO!搜寻人气大奖,(又称第5届Yahoo!搜寻人气大奖),于2007年12月23日假九龙湾国际展贸中心Star Hall举行,主题为“搜寻最爱 闪亮五载 人气奖项 由你主宰”,当晚共颁发47个
  • 领鞭毛虫领鞭毛虫纲(学名:Choanoflagellate)是一种原生生物,是单细胞或群体。拥有一根鞭毛,形态类似于淡水海绵的群体,表面的酪氨酸激酶受体也类似于海绵,被认为是动物的姐妹群。领鞭毛虫的
  • 美国支持的威权政体列表本列表列举出了美国曾经或正在支持的威权政体。美国虽然主要采取“价值观外交”的外交政策,推广民主、人权等普世价值的同时也谴责、制裁了不少被归类为暴政据点、流氓政权以
  • 镇海镇海之战是第一次鸦片战争中的英军为攻打宁波府的门户镇海县与清军发生的战斗,发生于1841年(清道光二十一年)10月10日。战斗自早晨8时开始至下午2时许结束,英军以压倒性优势取得