根岑

✍ dations ◷ 2024-12-22 13:54:50 #根岑

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

相关

760–779医学导航: 产科生理/发育/薄膜（英语：Template:Extraembryonic and fetal membranes）病理/条件源/母体传递（英语：Template:Diseases of maternal transmission）, 齐名（英语：Template:
冲田总司冲田总司（1842年7月8日－1868年7月19日），本名藤原春政，幼名宗次郎，后改为藤原房良、冲田总司，生于江户（今日本东京都）白河藩宅，是江户时代后期的新选组队士、局长助勤、一番队组长、剑
猫猫流感是一种在猫科动物发生的上呼吸道感染病。不过，现时普遍认为这个名称是错误命名，原因是猫流感一般并不是由流感病毒的感染而引起。相反的，它是一种综合征：一个用来泛指所有
纳洛酮纳洛酮（Naloxone），又常以商品名“Narcan”贩售。该药物可以缓解摄入过量鸦片类药物所造成的影响。纳洛酮可以与鸦片类药物混入同一药品中，以减少误用时中毒的风险。纳洛酮常被制
蝇蛆病蝇蛆病（英语：Myiasis，.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium A
生殖细胞生殖细胞（英语：germ cell）是进行有性生殖的生物体在产生配子的过程中任何一个细胞的总称。在许多动物中，原始生殖细胞源自于胚胎的原线，并经由卵黄囊区（yolk sac）迁移至原基性腺的
中胚层中胚层（mesoderm）是胚胎中位于内外胚层之间的胚层。在绘图中，传统上用红色表示。人类的中胚层在胚胎发育第三周出现，原条的形成代表着中胚层的出现。并非所有动物胚胎都有中胚层
奇恒之腑脏腑，是中医对内脏的总称，通称五脏六腑。根据《素问‧五脏别论篇》，“脏”指的是人体内的五脏，即：肝、心、脾、肺、肾（加上心包即为六脏），主要功能为生化和蓄存精气；以及六腑，即：胆、小
疏松结缔组织蜂窝组织（Areola tissue），或称为疏松结缔组织（loose connective tissue），是人体内最常见的一种结缔组织。疏松结缔组织主要由大量的细胞外基质（主要由成纤维细胞分泌的纤维组成）和少
心智理论心智理论（英语：Theory of Mind，缩写为ToM），心理学术语，是一种能够理解自己以及周围人类的心理状态的能力，这些心理状态包括情绪、信仰、意图、欲望、假装与知识等。自闭症通常被认