首页 >
根岑
✍ dations ◷ 2025-08-17 13:01:54 #根岑
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日-1945年8月4日)是德国的数学家和逻辑学家。他生于德国的格赖夫斯瓦尔德,在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论,特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石,《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。他是纳粹党和冲锋队的成员,在1945年5月7日随所有在布拉格的德国人一起被逮捕之后,饿死于布拉格附近的战俘营中。
相关
- 军团病军团病,又名退伍军人症是由军团菌引发的非典型肺炎。 其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
- 衣原体肺炎衣原体门(学名:Chlamydiae)是一门细菌。它们的生长完全在其它生物的细胞内进行,是专性寄生菌。衣原体原先多被归入衣原体属(Chlamydia),随着分子生物学发展,目前根据系统发育树分
- 革兰氏阳性菌革兰氏阳性菌(英文:Gram Positive)是能够用革兰氏染色染成深蓝或紫色的细菌,而革兰氏阴性菌不能被染色(通常染作红色以对比)。它们细胞壁中含有较大量的肽聚糖,但经常缺乏革兰氏阴
- 长QT症8长QT症又名长QT综合症(Long QT syndrome),全称是QT间期延长综合症,简称LQTS,是一种跟心律或心血管有关的心脏病。这一种病可能是先天的,也有可能是因为治疗其他心脏病的药物而引起
- 科尔萨科夫综合征科尔萨科夫氏症候群(Korsakoff's syndrome),又称健忘综合征,为一种大脑缺乏硫胺(维生素B1)而引起的精神障碍。其疾病由俄国神经学家谢尔盖·科尔萨科夫最先发现而命名。科尔萨科夫
- 先天性痛觉不敏感合并无汗症先天性痛觉不敏感合并无汗症是一遗传性感觉不敏感与自律神经性病变的罕见类型。临床表征包括无汗症、角膜溃疡,痛觉缺乏等。其发生率为此症较易发生于同源体系的社会,但确实数
- 睡眠睡眠又俗称睡觉,是一种在哺乳动物、鸟类和鱼类等生物中普遍存在的自然休息状态,此外,在无脊椎动物,例如果蝇中也有这种现象。睡眠的特征包括:减少主动的身体运动,对外界刺激反应减
- 体脂肪率体脂肪率,又称体脂百分比、体脂率,是将脂肪含量用其占总体重的百分比的形式表示,一般用于动物,但近年开始有在人体的应用。对于动物来说,体脂百分比的计算法是把动物体重中的脂肪
- 哈维哈维是多个外文人名的中文翻译。西班牙语的Xavi、Xabi以及英语的Harvey均可翻译为“哈维”。以哈维为名的人物有:
- 牙牙部,为汉字索引中的部首之一,康熙字典214个部首中的第九十二个(四划的则为第三十二个)。就繁体和简体中文中,牙部归于四划部首。牙部通常是从下方均可为部字。且无其他部首可用