格哈德·根岑

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

格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。

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

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

相关

光学光学工程（英语：optical engineering）是指把光学理论应用到实际应用的一类工程学。光学工程涉及光学仪器，例如镜头、显微镜和望远镜，也包括其他利用光学性质的设备。此外，光学工程
罗特布拉特约瑟夫·罗特布拉特（英语：Joseph Rotblat，1908年11月4日－2005年8月31日），波兰裔英国物理学家、社会活动家。1938年获华沙大学博士学位。第二次世界大战爆发后移居英国，1939年在利物
环辛烷环辛烷（化学式：C8H16）是八个碳的环烷烃。无色液体或潮湿的白色固体。有类似樟脑的气味。难溶于水，易溶于乙醇、乙醚、苯等有机溶剂。易燃。Hendrickson认为环辛烷分子存在多个能
伯特兰·迈耶伯特兰·迈耶（法语：Bertrand Meyer，1950年－），生于法国，编程语言专家，Eiffel编程语言的创造者，曾提出契约式设计观念。于巴黎综合理工学院取得学士学位，美国史丹佛大学硕士，于法国南锡大
德布罗意路易·维克多·德布罗意，第七代布罗伊公爵（法语：Louis Victor de Broglie, prince, duc de Broglie，1892年8月15日－1987年3月19日），简称路易·德布罗意（法语：Louis de Broglie，发音：），法
美国食品药物管理署美国食品药品监督管理局（英语：U.S. Food and Drug Administration，缩写为FDA）为美国卫生与公众服务部直辖的联邦政府机构，其主要职能为负责对美国国内生产及进口的食品、膳食补充
原台南县知事官邸坐标：22°59′33″N 120°12′48″E / 22.9926214°N 120.2133649°E / 22.9926214; 120.2133649原台南县知事官邸位于台湾台南市东区，是台南市的文化资产之一。原为日治时期
元培学院北京大学元培学院是北京大学于2001年9月20日启动的以老校长蔡元培的名字命名的本科教育和教学改革计划。元培学院和以前的元培计划实验班是元培计划的产物。北京大学在选课
王小川王小川（1978年－），四川成都人，搜狗公司首席执行官。1990年，以成都第一名的成绩考入成都七中数学实验班。1996年，获得国际信息学奥林匹克竞赛金牌，从成都七中毕业保送清华大学。2000年
伟大的印度尼西亚《伟大的印度尼西亚》（印尼语：Indonesia Raya），是印度尼西亚的国歌，创作于1928年，由威吉·鲁多尔夫·苏普拉特曼作词、作曲。Indonesia, tanah airku Tanah tumpah darahku Di san