根岑

✍ dations ◷ 2025-06-27 11:12:29 #根岑

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

相关

玉米玉米（学名：Zea mays）是一年生禾本科草本植物，是全世界总产量最高的重要粮食作物。同时也可以当作饲料使用，还有在生物科技产业作为乙醇燃料的原材料。而且玉米更在各个化工领域被
正二十面体正二十面体是一种正多面体，由20个正三角形组成。同时，它也是柏拉图立体、三角面多面体以及康威多面体。正二十面体是所有五种正多面体面数最多的。正二十面体有20个面、30个边
白喉白喉疫苗是一种用来对抗白喉杆菌（英语：Corynebacterium diphtheriae）的疫苗，而白喉杆菌正是白喉的致病原。在1980年到2000年间，白喉疫苗的出现让白喉患者的感染人数减少90%之多。
可裂变物质在核工程中，可裂变物质指的是有能力维持核裂变的链式反应的一种物质。根据定义，可裂变物质可以通过任意能量的中子来维持链式反应，而主要的中子能量可能是慢中子或者快中子。这
古希腊文古希腊语（古希腊语：Ἑλληνικὴ γλῶττα）指代公元前9世纪至公元6世纪所有以口头及书面为载体的古希腊语族的方言，时间上包括公元前9世纪至公元前6世纪的古风时期，公元
研发研究开发(英语：Research and development；缩写：R&D)，或译研究与开发，简称研发，是隶属于企业、大学及国家的机构所开展的科学项目研究与技术开发活动。于2006年，在研究开发领域上投
肠胃炭疽病（英语：anthrax）是由炭疽杆菌感染造成的疾病，感染途径包括皮肤接触、呼吸道、消化道以及注射等四种，通常在感染一天至两个月后开始出现症状，经由皮肤接触的感染起初会出现小
留职停薪根据雇主的命令，停权或停职是离开工作场所的有薪或无薪时间，以便进行工作场所调查。对于学校，为暂时性禁止某位学生上课。当需要将员工从工作地点撤职以避免妨碍调查时，也可以使
冰岛冰岛国家与大学图书馆（Landsbókasafn Íslands — Háskólabókasafn）是冰岛的国家图书馆，也是冰岛大学的大学图书馆。这座图书馆于1994年12月1日建立在首都雷克雅未克，由建立
曼德语族曼德语族（Mande languages，又译曼迪语族）是曼德人所讲的语言的分类，是与尼日尔-刚果语系比较疏离的一个支系，包含十多种语言，流行于西非各国，包括有：冈比亚、科特迪瓦、布基纳法索、