首页 >
根岑
✍ dations ◷ 2025-07-27 17:02:18 #根岑
格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日-1945年8月4日)是德国的数学家和逻辑学家。他生于德国的格赖夫斯瓦尔德,在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论,特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石,《逻辑演绎研究》中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。他是纳粹党和冲锋队的成员,在1945年5月7日随所有在布拉格的德国人一起被逮捕之后,饿死于布拉格附近的战俘营中。
相关
- 新拉丁语新拉丁语(拉丁语:Lingua Latina temporis humanistici、英语:New Latin 或 Neo-Latin)指在文艺复兴时期之后,20世纪前(约1375年至1900年之间)这段时间在学者间与科学文献上使用的拉
- 精子精虫或精子(英语:spermatozoon、spermatozoön、复数 spermatozoa)是男性或其他雄性生物的生殖细胞。精子与卵子结合从而形成受精卵,进而发育为胚胎。精子最初由雷文霍克于1677
- SUDOC大学文档系统(Système Universitaire de Documentation,简称SUDOC)是法国高等教育机构图书馆所使用的图书系统。该系统收录了法国大专院校、研究型图书馆及资源中心的联合目录
- 伊利阿斯·马格努斯·弗里斯埃利亚斯·芒努斯·弗里斯(瑞典语:Elias Magnus Fries,1794年8月15日-1878年2月8日),瑞典生物学家。他在六十多年的科研生涯中,搜集了欧洲各地大量的真菌标本,对其进行了科学、系统
- 庞贝氏症庞贝氏症(英语:Pompe disease),又称为酸性麦芽糖酵素缺乏症(acid maltase deficiency, AMD)或糖原贮积症第二型(glycogen storage disorder, GSD; glycogenosis II),是一种罕见疾病,成
- 氢氧化钾氢氧化钾(化学式:KOH),俗称苛性钾,白色固体,溶于水、醇,但不溶于醚。在空气中极易吸湿而潮解。可与二氧化碳反应生成碳酸钾。所以它会被用作吸收二氧化碳之用。氢氧化钾是典型的强
- 氯化氢氯化氢(英语:hydrogen chloride),分子式为HCl,室温下为无色气体,遇空气中的水汽形成白色盐酸酸雾。氯化氢及其水溶液盐酸在化工中非常重要。二者分子式均可写为HCl。氯化氢分子是
- 弧状云弧状云(arcus cloud),是一种罕见的云层。通常会形成于冷锋之前缘,一旦寒冷的气流扩展开来,会推升前方的暖空气,气流有时会沿着水平轴方向流动。弧状云又可分为卷轴云(Roll clouds)和
- HELLP症候群HELLP症候群(HELLP syndrome),一种产科疾病,是妊娠毒血症的一种,经常发生在怀孕晚期,有时甚至是生产时发生。它的命名来自于它的几项特征:HELLP症候群通常伴随着妊娠型高血压或妊娠
- 免疫球蛋白GIgG(免疫球蛋白 G,英语:Immunoglobulin G)是人血清和细胞外液中含量最高的一类免疫球蛋白,约占血清总免疫球蛋白的75%~80%,血清含量9.5~12.5mg/mL,是分子质量最小的一类免疫球蛋白,具