根岑

✍ dations ◷ 2025-11-29 13:58:01 #根岑

格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。他生于德国的格赖夫斯瓦尔德，在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论，特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石，《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。他是纳粹党和冲锋队的成员，在1945年5月7日随所有在布拉格的德国人一起被逮捕之后，饿死于布拉格附近的战俘营中。

相关

水葬水葬，是将尸体投入江河湖海中的一种丧葬方式。这种习俗主要流行于大洋洲的部分族群和亚洲中国南方的部分地区中。而水葬中目前最为出名的海葬，则主要流行于欧美地区。早在中国
双核亚界双核亚界是真菌界中包含了子囊菌门和担子菌门的一个亚界，两个门一般都有双核体（英语：Dikaryon），可能为菌丝或单细胞生物，但都不具有鞭毛。双核亚界大部分都是所谓的“高等真菌”，但
银耳目见内文银耳目（学名：Tremellales），是真菌下属担子菌门银耳纲的一目。大部分腐生于木材，少数寄生于其他真菌。主要生长在热带、亚热带地区。担子具直或斜的隔膜，
营养体营养体（Trophosome；源自trophē），亦作滋养体，是一种在部分原口动物（例如：须腕科物种）体腔（英语：coelomic cavity）内的深绿棕色海绵组织器官，用来储存内共生细菌，以为其宿主提供完全营养。
镍铁电池镍铁电池是众多充电电池中的一种，它的阳极是氢氧化镍，阴极是铁，电解质(电解液)是氢氧化钾。这种电池的电压通常是1.2V。它很耐用，能够经受一定程度的使用事故（包括过度充电、过度
地面臭氧层在对流层里存在的臭氧属于一种对生物有害的污染物，是光化学烟雾的组成部分之一（而平流层（臭氧层）中的臭氧则是对生物至关重要的紫外线吸收剂）。许多涉及化学能量快速转化的人类活
凯诺兰大陆凯诺兰大陆（Kenorland）是其中一个地球上最早期的超大陆。科学家相信此大陆是由于克拉通加积及新的大陆地壳产生而在大约27亿年前的新太古代形成的。后来此大陆的部分形成了劳
胸腔外科胸腔外科学或称心胸肺外科（英语：Cardiothoracic Surgery），是一门医学专科，专门研究胸腔内器官，包括心脏、肺、气道与呼吸系统、胸壁、纵隔、膈肌和食道等，以及这些器官与部位的诊断
科尔多瓦科尔多瓦（西班牙语：Córdoba，西班牙语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
阳隧足海蛇尾，或阳燧足，是属于棘皮动物门的海蛇尾纲，是种类最多的一个纲，其下包括有220个属和2000个种。海蛇尾的结构与海星相似，但体盘相对较大，腕5个，盘与腕之间有明显交界，而后者腕与盘