根岑

✍ dations ◷ 2025-06-06 21:38:31 #根岑

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

相关

肾脏肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压
片利共生偏利共生（英语：Commensalism，又称为偏利共栖现象）是两种生物间共生关系的一种。是指在生物界中，某两物种间的生态关系，其中一种的生物会因这个关系而获得生存上的利益，但是，另一方的
中岛宏中岛宏（日语：中嶋宏／なかじまひろし Nakajima Hiroshi，1928年5月16日－2013年1月26日）是前任世界卫生组织（WHO）总干事。日本千叶县出生，东京医科大学毕业。
Archive.isarchive.is（又名为archive.today）是一个私人资助的网页存档网站，数据中心位于欧洲法国的北部-加来海峡。这个网站典藏（英语：Web archiving）档案馆使用Apache Hadoop与Apache Acc
德国痳疹风疹（英语：rubella, German measles, three-day measles），又称德国麻疹或三日麻疹，是一种由风疹病毒（英语：Rubella virus）感染所造成的疾病。本病的症状轻微，半数患病者通常不会有自
船舶污染船舶污染源可分为油类与非油类之两大污染源。非油类污染源：船舶生活污水、有毒液体物质、船舶垃圾、来自船舶空气污染……等等。造成船舶油污染的原因可分为 :意外性的排泄
Tc4d5 5s22, 8, 18, 13, 2蒸气压（（推断））第一：702 kJ·mol−1 第二：1470 kJ·mol−1 第三：2850 kJ·mol主条目：锝的同位素锝（拼音：dé，注音：ㄊㄚˇ，粤拼：dak1，台湾称
雌三醇雌三醇（Estriol ， oestriol， E3）是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中，以雌三醇的活性最弱。存在于尿中，在怀孕期尿中含量更高。未怀孕
辐射线放射线可以指：
助动词助动词（英语：auxiliary verb、英文简称：.mw-parser-output .smallcaps{font-variant:small-caps}.mw-parser-output .nocaps{text-transform:lowercase} aux）是一种可以改变主要