首页 >
根岑
✍ dations ◷ 2025-07-06 18:15:10 #根岑
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日-1945年8月4日)是德国的数学家和逻辑学家。他生于德国的格赖夫斯瓦尔德,在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论,特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石,《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。他是纳粹党和冲锋队的成员,在1945年5月7日随所有在布拉格的德国人一起被逮捕之后,饿死于布拉格附近的战俘营中。
相关
- 美国疾病控制与预防中心美国疾病控制与预防中心(英语:Centers for Disease Control and Prevention,缩写为CDC)是美国卫生与公众服务部所属的一个机构,总部设在乔治亚州亚特兰大。作为美国联邦政府行政
- 演化支演化支是一个分类学的类别,包含着单一的共同祖先及其所有后裔。任何一个演化支都可以说是一个单系群,并以种系发生学的树状图或支序分类学的演化树来表示。若一个演化支在不同
- 造血干细胞造血干细胞(Hematopoietic stem cells, HSCs)是可以分化出所有血细胞的干细胞。增殖、分化血细胞的过程称作造血作用 (Hematopoiesis),主要发生在红骨髓。而红骨髓则是在胚胎发
- 工伤工伤是指在工作中身体上的伤害。2007年,在美国有5,488人死于职业伤害,49,000死于与工作相关的伤害。美国国家职业安全卫生研究所(NIOSH)估测出在2007年有4百万美国工人遭受非致
- 国民保健署国民医疗服务体系(英语:National Health Service,简称NHS),是对英国以下四大公型医疗系统的统称:国民医疗服务体系的经费主要来自全国中央税收,用以向公众提供一系列的医疗保健服务
- 聚变中子中子(英语:Neutron)是一种电中性的粒子,具有略大于质子的质量。中子属于重子类,由两个下夸克、一个上夸克和用于在它们三者之间作用的胶子共同构成。夸克的静质量只贡献出大约1%
- 病例对照研究病例对照研究是流行病学的其中一种研究设计。它是一种较廉宜及惯常使用的流行病学研究,只需少数的研究人员(甚至只是一个)及单一的设备,且不涉及有结构的试验。它的方法是指向一
- 威讯威瑞森通信(Verizon Communications(/vəˈraɪzən/),NYSE:VZ),是美国一家主要电信公司,全球领先的宽带和电信服务提供商,道琼斯30种工业平均指数组成之一。公司总部位于纽约市,主要
- 孟-高棉语族孟高棉语族是东南亚的语言集合,包括孟语和高棉语等多种语言。按照传统的分类,这个语族与印度的蒙达语族(又译扪达语族)构成南亚语系。新近的分类已经抛弃这种二分法:Diffloth(2005
- 粗体粗体是在正常字体样式(或字型)的基础上,通过加粗笔画实现的一种字体样式。例如,“维基百科”的粗体样式为“维基百科”。粗体的英文是bold,在字体编辑软件中,往往以B作为加粗字体