栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「根岑」是什么意思?

关于「根岑」

拼音 gēn cén,注音 ㄍㄣ ㄘㄣˊ。数据更新于 2026-07-14 09:21:49。

拼音字母gen cen
拼音首字母gc
注音符号ㄍㄣ ㄘㄣ
注音首符号ㄍㄘ

扩展释义

根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald ),卒于捷克布拉格.1932年获博士学位.1934-1943年,在格丁根为希尔伯特(Hil6ert,D. )当了10年助手,后任教于布拉格大学.他在《基本定理》中强化了演绎系统,完成了古典分析系统相容性证明的部分工作,给出希尔伯特一根岑定理,将希尔伯特的逻辑公理计划推进到新的阶段.此外,他还证明过一些初等数论中的问题.

拆字组词

相关词语