根岑

✍ dations ◷ 2025-09-27 16:09:49 #根岑

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

相关

活性氧类活性氧类（英语：Reactive oxygen species，ROS），是生物有氧代谢过程中的一种副产品，包括氧离子、过氧化物和含氧自由基等。这些粒子相当微小，由于存在未配对的自由电子，而十分活跃。过
ICD-9编码列表 (710–739)Template:DorsopathiesTemplate:Disorders of subcutaneous fat Template:Osteochondropathy Template:Acquired deformities
成土作用成土作用是土壤形成的过程，也称为成土过程，这也是母质产生肥力而转变成土壤的过程。母质又是岩石的风化产物。因此从母岩变成土壤，实际上包括两个相互关联的不同过程，即从母岩形
十二指肠十二指肠（拉丁语：Duodenum）是多数高等脊椎动物小肠的始段。哺乳动物、爬行动物和鸟拥有十二指肠。鱼的十二指肠不明显，有时用前肠或近侧小肠称呼。哺乳动物的小肠可能是吸收铁的
联合国环境署联合国环境署，又称为联合国环境规划署（英语：United Nations Environment Programme, UNEP；或 UN Environment），是联合国专责环境规划的常设部门。它的任务在于协调联合国的环境计
谷丙转氨酶谷丙转氨酶（英文：Alanine transaminase，缩写ALT）是一种转氨酶（EC 2.6.1.2，存在于血浆及多种身体组织中，但最常见与肝脏关联。也叫血清谷氨酸丙酮酸转氨酶（英语：serum glutamate pyruv
资源水资源包括经人类控制并直接可供灌溉、发电、给水、航运、养殖等用途的地表水和地下水，以及江河、湖泊、井、泉、潮汐、港湾和养殖水域等。水资源是发展国民经济不可缺少的重
出口出口可以指：
西哥特人西哥特人（拉丁语：Visigothi），港、台译作西哥德人，是东日耳曼部落的两个主要分支之一，另一个分支是东哥特人。在民族大迁移时期，是摧毁罗马帝国的众多蛮族中的一个。公元4世纪西哥特
真核细胞真核生物（学名：Eukaryota）是其细胞具有细胞核的单细胞生物和多细胞生物的总称，它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物，而不包括细菌和古菌，因它