首页 >
根岑
✍ dations ◷ 2025-06-06 21:38:31 #根岑
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日-1945年8月4日)是德国的数学家和逻辑学家。他生于德国的格赖夫斯瓦尔德,在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论,特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石,《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。他是纳粹党和冲锋队的成员,在1945年5月7日随所有在布拉格的德国人一起被逮捕之后,饿死于布拉格附近的战俘营中。
相关
- 肾脏肾(Kidney)是脊椎动物体内的一种器官,属于泌尿系统的一部分,负责过滤血液中的杂质、维持体液和电解质的平衡,最后产生尿液经由后续管道排出体外;同时也具备内分泌的功能以调节血压
- 片利共生偏利共生(英语:Commensalism,又称为偏利共栖现象)是两种生物间共生关系的一种。是指在生物界中,某两物种间的生态关系,其中一种的生物会因这个关系而获得生存上的利益,但是,另一方的
- 中岛宏中岛宏(日语:中嶋 宏/なかじま ひろし Nakajima Hiroshi,1928年5月16日-2013年1月26日)是前任世界卫生组织(WHO)总干事。日本千叶县出生,东京医科大学毕业。
- Archive.isarchive.is(又名为archive.today)是一个私人资助的网页存档网站, 数据中心位于欧洲法国的北部-加来海峡。 这个网站典藏(英语:Web archiving)档案馆使用Apache Hadoop与Apache Acc
- 德国痳疹风疹(英语:rubella, German measles, three-day measles),又称德国麻疹或三日麻疹,是一种由风疹病毒(英语:Rubella virus)感染所造成的疾病。本病的症状轻微,半数患病者通常不会有自
- 船舶污染船舶污染源可分为油类与非油类之两大污染源。非油类污染源: 船舶生活污水、有毒液体物质、船舶垃圾、来自船舶空气污染……等等。造成船舶油污染的原因可分为 :意外性的排泄
- Tc4d5 5s22, 8, 18, 13, 2蒸气压((推断))第一:702 kJ·mol−1 第二:1470 kJ·mol−1 第三:2850 kJ·mol主条目:锝的同位素锝(拼音:dé,注音:ㄊㄚˇ,粤拼:dak1,台湾称
- 雌三醇雌三醇(Estriol , oestriol, E3)是人类三种主要的雌激素之一。雌二醇和雌酮的代谢产物。在雌酮、雌二醇、雌三醇中,以雌三醇的活性最弱。存在于尿中,在怀孕期尿中含量更高。未怀孕
- 辐射线放射线可以指:
- 助动词助动词(英语:auxiliary verb、英文简称:.mw-parser-output .smallcaps{font-variant:small-caps}.mw-parser-output .nocaps{text-transform:lowercase} aux)是一种可以改变主要