根岑

✍ dations ◷ 2025-10-19 02:16:14 #根岑

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

相关

特发性间质性肺炎特发性间质肺炎（Idiopathic interstitial pneumonia，简称IIP），又称非感染性肺炎（noninfectious pneumonia），属于一种间质性肺病。该疾病通常侵袭肺间质，有些也会侵袭气道（例如Cryptog
消化病学胃肠学（英语：Gastroenterology，又称为肠胃病学）是医学的一个分枝，专门研究消化系统（从口腔到肛门的消化道）及相关疾病。
转座病毒科变换病毒属 Metavirus 漂游病毒属 Errantivirus转座病毒科（Metaviridae）又译作变化病毒科或变换病毒科，是一种拥有反转录聚合酶的病毒，型态为单链RNA。该类病毒主要感染真菌和无
白细胞介素-41BBN、1BCN、1CYL、1HIJ、1HIK、1HZI、1IAR、1ITI、1ITL、1ITM、1RCB、2B8U、2B8X、2B8Y、2B8Z、2B90、2B91、2CYK、2D48、2INT、
房室结房室结 (Atrioventricular node，A-V node)是正常情况下兴奋(神经电讯)由心房传至心室的唯一途径。它位于右心房科赫三角（triangle of Koch）的心内膜深面，其前端发出房室束。其主
间皮细胞间皮细胞是指构成间皮的细胞，间皮由一层细胞组成，位在胸膜或腹膜，心包腔内和器官相接之面上。间皮的功用是提供润滑，使器官与器官、器官与胸膜与腹膜间都能得到良好的保护，不会互
员工餐饮员工餐饮，是指公司、机关向员工供应的餐饮。可分为数种形式。
复合性原理在数学、语义学和语言哲学中，复合性原理是指，一个复杂表达式的意义是由其各组成部分的意义以及用以结合它们的规则来决定的。复合性原理认为，在有意义的句子中，如果实词部分被从
耶基斯语耶基斯语（Yerkish，Lexigram、符号字）是一种为了非人类灵长目（黑猩猩）与人类沟通、所发展出的人工语言。耶基斯语需要灵长目黑猩猩使用键盘按键的方法、即谓“符号字”输入法来进
罗马尼亚语罗马尼亚语（limba română，国际音标：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent