根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
石岗西村的词语属性 拼音sh gng x cn拼音字母shi gang xi cun拼音首字母sgxc 石岗西村的百科含义 石岗西村位于大龙街的西面，毗邻罗家村，面积约0.75平方公里，有户籍人口1200余人，外来流动人口2940人，2012年全村集体收入874万元，农村人均收入18596元。石岗西村积极开展建
