根岑

✍ dations ◷ 2025-04-24 21:36:32 #根岑

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

相关

反义词反义词或相反词是语言学上的现象，指的是某一对字或单词具有相反意义或定义，如“有”和“无”、“爱”和“恨”、“冷”和“热”都是反义词。一种语言中的所有词汇不一定都有对
趋性趋性（英语：taxis，或称为趋向性）是一生物(或细胞)天生的行为反应，指其对一指向性刺激(由特定方向给的刺激)，而会有趋进(正趋性)或远离(负趋性)刺激源的动作。趋性和向性不同，生物的
β-变形菌纲详见细菌分类表β-变形菌网（学名：Betaproteobacteria）是变形菌门中的一纲，与γ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
溶细胞素溶细胞素（Cytolysin），亦作溶胞素，是一类由微生物、植物或动物分泌的对特定细胞有毒性的物质。这类物质通常是通过让靶细胞因裂解而溶解而起效的。通常，溶细胞素会因对某一类细胞
ACE抑制剂血管紧张肽I转化酶抑制剂（英语：ACE inhibitor，简称为ACEI）是一类抗高血压药。血管紧张素转化酶（ACE）是肾素-血管紧张素-醛固酮（RAA）系统中的一个重要环节，该系统对血压的调节有着及其
标准作业程序标准作业程序（英语：Standard Operating Procedures，常缩写并简称为SOP）是指在有限时间与资源内，为了执行复杂的事务而设计的内部程序。从管理学的角度来看，标准作业程序能够缩短新
美国国家科学院期刊《美国国家科学院院刊》（英语：Proceedings of the National Academy of Sciences of the United States of America，通常简称为 PNAS；PNAS USA）是美国国家科学院的官方学术周刊。
河静省河静省（越南语：Tỉnh Hà Tĩnh／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","M
躲猫猫躲猫猫（英语：Peekaboo或Peek-a-boo），是一种逗乐婴儿、幼儿的游戏。躲猫猫的反复遮眼玩法多是西方国家逗乐婴儿的游戏，玩法是父母用双手蒙住自己的脸，然后靠近婴儿，将手突然拿开，变出
身份认同身份认同是心理学和社会学的一个概念，指一个人对于自我特性的表现，以及与某一群体之间所共有观念（国籍或者文化）的表现。身份认同的类型大致可分为：拒绝、漂流、搜寻、保卫和坚定