更新时间：2026-07-15 22:09:35
求解答，词语「根岑」是什么意思？再说说根岑有什么含义？
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
欢迎使用朴木新华词语词典！我们专注于提供权威、全面的汉语词语查询服务，涵盖成语、近义词、反义词、组词等丰富内容。无论是学生、教师还是文字工作者，都能在这里找到精准的词语解释与用法。专业、高效、友好，助您轻松掌握汉语词汇。