gēn cén · ㄍㄣ ㄘㄣˊ
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
抓书网 短词网 书号查询 星云网 白酒是中国传统的酒类之一，其酿造过程绵延数千年，如今已经成为中国酒文化的重要组成是什么意思？ 百家号是什么意思？ 端午日是什么意思？ 百家号是什么意思？ 旡部首的字是什么意思？ 哈尔滨天气预报30天是什么意思？ 山西碗碗腔 拼音 shān xī wǎn wǎn qiāng，一文读懂「山西碗碗腔」的含义、出处与用法。 shān xī wǎn wǎn qiāng 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？ 查看甘肃天气-7天天气 查看甘肃天气 甘肃是什么意思？ 八字硬弱查询是什么意思？ 触觉反馈技术在元宇宙中的应用效果.docx是什么意思？ 属猴是什么意思？ 1 佳字取名忌讳是什么是什么意思？ 百变巫女是什么意思？ 孙元晏是什么意思？ 6画是什么意思？ iFixit是什么意思？