根岑

✍ dations ◷ 2024-11-05 18:35:19 #根岑

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

相关

肾功能肾功能（Renal function）是描述肾脏状态及其在肾生理作用的角色。肾小球滤过率（Glomerular filtration rate/GFR、肾丝球滤过率）描述了通过肾脏过滤流体之流速。肌酸酐清除率（Crea
教育美国教育主要由政府提供，由三级政府：联邦政府、州政府和地方政府（学区）控制和资助。在小学和中学，课程、资金、教学和其他政策都由当地选举产生的学区委员会决定。学区通常根据官
血液检验项目正常参考值范围#血液学血液检验项目正常参考值范围（英语：Reference ranges for blood tests），指的是医疗保健专家从血液样品中选取的一组用来描述医疗检验结果的正常参考值。血液检验的测量值在临床中
喹硫平喹硫平（Quetiapine），由阿斯利康制药商品名为思乐康、思瑞康（Seroquel），而由奥利昂集团（Orion Pharma）商品名为Ketipinor，两者都是富马酸喹硫平盐的药物，是非典型的抗精神病用药，主要治
头昏头晕（英语：Dizziness），是一种空间认知和稳定度的功能性障碍。头晕（dizziness）一词的定义较含糊不清，因为头晕可能是眩晕、晕厥前期（英语：presyncope）、重心平衡障碍（英语：Balance disor
抗万古霉素肠球菌抗万古霉素肠球菌（vancomycin-resistant Enterococcus，缩写作 VRE），又名万古霉素抗药性肠球菌，是肠球菌属下的一种细菌，有着对万古霉素这种抗生素的抗药性。在肠球菌属中，对人类有
艾赛尼派艾赛尼派（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
American Cancer Society美国癌症协会（American Cancer Society, ACS）是美国的一个致力于消除癌症的全国性的自愿健康组织。美国癌症协会成立于1913年，并在美国分布为十二个地区（包括波多黎各），拥有大约9
分离性障碍分离性障碍（英文：dissociative disorder），是一种身份、记忆或意识的整体性扰乱。患有解离性障碍的患者缺乏对自我感（selfhood）的辨别和控制，其在时间和地点上缺乏自我在各个方面的
电灯电灯或称电火，是人造光源之一，是种将电能转化为光能的设备，用于指示或者照明。其中，用电流把常常以钨制成的灯丝加热到白炽状态后用来发光的灯叫白炽灯。灯泡内填充了卤素和惰性