根岑

✍ dations ◷ 2025-11-08 18:43:07 #根岑

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

相关

淋巴淋巴系统(lymphatic system)是循环系统的一部分，是由淋巴、淋巴管与淋巴结所组成。不单是回收剩余的体液，调控体内环境的平衡，也是身体内的免疫反应之处，逐步过滤保证个体的健康
羟甲基戊二酸单酰辅酶A还原酶抑制剂羟甲基戊二酸单酰辅酶A还原酶抑制剂（英语：HMG-CoA reductase inhibitors 或 Statins，简称“HMG-CoA还原酶抑制剂”或“他汀类药物”）是一类抗高血脂药。因他汀类有降低低密度脂
志留纪志留纪（Silurian，符号S）是地质时代表古生代的第三个纪，约开始于4.44亿年前，结束于4.19亿年前。志留系一名源于威尔士地区一个古老部族志留人（英语：Silures）。1835年，英国R.I.莫企逊，在
小托马斯·弗兰西斯小托马斯·弗兰西斯（英语：Thomas Francis Jr.，1900年7月15日－1969年10月1日），美国医生，病毒学家与流行病学家。弗兰西斯是第一位在美国分离出流感病毒的科学家，在1940年发现了另一种
减肥减肥学（bariatrics）是医学的一个分支，目的在探讨肥胖症的起因、预防及治疗。一般简称为减肥、纤体、瘦身或秀身，是指采用人为手段故意降低体重，特别是减少体内的脂肪。减肥的原因
炼金术士炼金术是中世纪的一种化学哲学的思想和始祖，是当代化学的雏形。其目标是通过化学方法将一些基本金属转变为黄金，制造万灵药及制备长生不老药。现在的科学表明这种方法是行不通
选民观念选民是指各种自认为“被神所拣选的人”。常常被视为是神挑选，实现天命（例如在地上充当先知）的人、甚至是一个受神喜爱的族群。这个词汇特别是用以指以色列人，因为在《旧约圣经·
汉堡HH （1906–1945；及自1956）MGH（1945）；H（1945–1947）、汉堡（/ˈhæmbɜːrɡ/; 德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI"
膀胱炎膀胱炎是指膀胱发炎的状态，在女性较为常见，但各年龄层的男女都可能罹患。膀胱炎可分为以下几类：
先秦先秦，全称为先秦时期（又称先秦时代），是中国古代史中的一段时间，有指秦始皇焚书之前的一段时间，或更狭义专指历史上的春秋战国时期；也可作为秦朝以前（公元前221年以前）时代的统称，即上