格哈德·根岑

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

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

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

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

相关

图像处理small/small图像处理是指对图像进行分析、加工、和处理，使其满足视觉、心理或其他要求的技术。图像处理是信号处理在图像领域上的一个应用。当前大多数的图像均是以数字形式存储，因而图像
区室细胞区室（英语：cellular compartment，亦称为细胞腔隙）是细胞生物学中使用的名词，包括所有真核细胞的细胞质中封闭的部分，它们多被单层或双层的磷脂所包围。绝大多数的细胞器均被视
尿路动力学尿路动力学（英文：Urodynamics），简单来说是指液体在尿道上的流动所涉及的事项。尿路动力学（在中国称：尿流动力学或尿动力学）一词其原意是指液体在尿道上的流动所涉及的事项1。但是，在
贞操贞操是关于伦理道德的产物，保持结婚前不和别人有性行为就称之为守住贞操，简称为守贞，婚后没有和配偶以外的人有性关系亦可称为守贞，此皆为贞洁的表现。基督教和某些教派或观念不
宗教性质的法律宗教法系指基于宗教传统而导出的道德及伦理准则（英语：Ethical code），而不是依该个人的国籍、住所等。相关例子包括基督徒教会法、伊斯兰教伊斯兰教法、犹太人哈拉卡及印度教法（
中华民国岛屿本文叙述中华民国政府实际统治领域的岛屿。依中华民国台湾、澎湖、金门、马祖及其附属岛屿划分如下：（8）以下诸岛皆隶属于基隆市中正区（1）（2）（1）（1）（2）（1）（6）（2）（2）（10）（1）（4）澎湖县（90）
田地耕地在地理学上是指可以用来种植农作物的土地。地球上1亿4800万平方公里的陆地中大约有3100万是可耕地，但目前可耕地面积正以每年10万平方公里的速度流失。而耕地流失的主因
分株紫萁分株紫萁（学名：Osmunda cinnamomea var. asiatica）为紫萁科紫萁属下的一个变种。
山西巡抚山西巡抚，明时全称提督雁门等关兼巡抚山西地方，统冀宁兵备道、雁平兵备道、岢岚兵备道、河东兵备道、潞安兵备道、宁武兵备道六道，山西布政司之太原、平阳、潞安、汾州四府，辽、
美国国防后勤局国防后勤局（DLA: Defense Logistics Agency）是美国国防部（DOD）的一个战斗保障局（CSA），是DOD军事后勤系统的功能集成单位,主要职责是向各军事部门（美国陆军、海军和空军）、战斗司令部，