根岑

✍ dations ◷ 2024-07-05 03:28:27 #根岑

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

相关

单链RNA反转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
ACE抑制剂血管紧张肽I转化酶抑制剂（英语：ACE inhibitor，简称为ACEI）是一类抗高血压药。血管紧张素转化酶（ACE）是肾素-血管紧张素-醛固酮（RAA）系统中的一个重要环节，该系统对血压的调节有着及其
先天性痛觉不敏感合并无汗症先天性痛觉不敏感合并无汗症是一遗传性感觉不敏感与自律神经性病变的罕见类型。临床表征包括无汗症、角膜溃疡，痛觉缺乏等。其发生率为此症较易发生于同源体系的社会，但确实数
praziquantel吡喹酮（英语：Praziquantel，或英语：Biltricide）为一种用于人类及动物的驱虫药，专门治疗绦虫及吸虫。对于血吸虫、中华肝吸虫、广节裂头绦虫（英语：Diphyllobothrium latum）特别有效，吡喹
水污染控制水污染控制是控制向水体排放污染物的方法，水污染主要有点污染源和面污染源，点污染源有具体的污染源，如工厂的排污管道口，比较容易治理，只要控制污染物排放政策有足够的执法能力，每
自然分娩自然分娩是一种没有常规医疗介入（包括麻醉）的分娩方式。相对于一般工业化社会中配合医疗技术的分娩方式，自然分娩希望让医疗的介入降到最低，特别是像麻醉药、会阴切开术等医疗介
原始希腊原始希腊语（Proto-Greek、Proto-Hellenic）是假定的所有已知希腊语变体的最近公共祖先，包括了迈锡尼语，古希腊语方言如雅典-爱奥尼亚方言, 伊欧里斯方言，多利亚方言和西北希腊方言
特发性(原发性)高血压原发性高血压（英语：Essential hypertension或Primary hypertension）又称特发性高血压（英语：Idiopathic hypertension）是指一种不具有可识别的原因的高血压形式。它是最常见的高血
May-Thurner综合征May-Thurner综合征，即髂静脉压迫综合征（iliac venous compression syndrome ，IVCS）或Cockett综合征，是髂静脉受压引起的下肢静脉回流障碍而出现综合征。May-Thurner综合征在临床
鼻软骨鼻软骨的结构带有支撑鼻子的功能。鼻软骨包含：