根岑

✍ dations ◷ 2025-09-06 18:28:33 #根岑

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

相关

转座子转座子（英语：Transposon，亦称为转座元件，跳跃子）是一类DNA序列，它们能够在基因组中通过转录或逆转录，在内切酶（Nuclease）的作用下，在其他基因座上出现。转座子的这种行为，与假基因（Pseud
危险素数安全素数是满足2p＋1形式的一类数，在这里p也是素数。（相反地，素数p叫做索菲热尔曼素数。）开始的几个安全素数是：之所以叫它们是“安全”素数，是因为它们在加密算法中的运用：某些约数
被动吸烟二手烟，亦称非自愿性吸烟，是指在吸取燃点烟草时随着烟雾释放出来的物质，是一种被动吸烟（Passive smoking）方式有研究指二手烟有焦油、阿摩尼亚、尼古丁、悬浮微粒、超细悬浮微粒
遗体保存技术遗体保存技术（英语：Embalming）指通过化学药物及其他科学技术的方法，将人的遗体作短期或长期保存，防止遗体腐烂。
蔗糖酶蔗糖酶(Invertase，EC 3.2.1.26)系统名称为β-呋喃果糖苷酶，是可把蔗糖水解为葡萄糖和果糖的酶。它作用于蔗糖的α糖苷键工业使用的蔗糖酶通常从酵母中制取，蜜蜂同样分泌这种酶，
BMD印度弹道导弹防御系统计划（英语：Indian Ballistic Missile Defence Programme，BMD）是由国防研究及发展组织（DRDO）主导的印度反弹道导弹项目。至今，该项目已衍生三种反导系统，包括大
回归分析回归分析（英语：Regression Analysis）是一种统计学上分析数据的方法，目的在于了解两个或多个变量间是否相关、相关方向与强度，并建立数学模型以便观察特定变量来预测研究者感兴趣
希腊的罗马时期希腊的罗马时期是希腊历史中的一段期间，从公元前146年罗马人占领科林斯开始，直到君士坦丁一世于330年将罗马帝国的首都从罗马迁到拜占庭，并将该地改称新罗马为止。在罗马统治时
丧葬古希腊的丧葬仪式是以古希腊人的生死观为基础的。古希腊人是一个热爱生活的民族，但也不惧怕死亡。他们认为死亡只不过是肉体的消亡，人的灵魂永远不灭。生与死，仅是居住地的转换
狄奥多里克狄奥多里克大帝（拉丁语：Flavius Theodericus，希腊语：Θευδέριχος，古德语：Dietrich，法语：Thierry；454年－526年8月30日）东哥特人的领袖（471年起），东哥特王国（其疆域大部分位于今日的