根岑
基本解释
简解
根岑的词语属性
拼音gēn cén
拼音字母gen cen
拼音首字母gc
根岑的百科含义
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
猜你喜欢
- fenda奋达
- diaosujiayuan雕塑家园
- shuangyushupaichusuo双榆树派出所
- yòu dǎo诱导
- xunyan荀衍
- zijigainian自记概念
- luzongqin陆宗琴
- puershicaizhengju普洱市财政局
- lizhijun李治军
- bokezhulongcao伯克猪笼草
- qiyuanxiaochu起源小厨
- baizhen白振
- gaodiaohuquanqiu高吊弧圈球
- guolan郭岚
- wulidizhenxue物理地震学
- huanghanwulantang黄汗吴蓝汤
- jingdui井队
- xunluzhe寻路者
- longmianlianjun龙眠联军
- zhongguomeifamenhu中国美发门户
- luoyanmai裸燕麦
- heibeiyuanhezhenyu黑背圆颌针鱼
- lvliang氯量
- changgelianshengjihua唱歌练声计划
- tuhonglianban土红莲瓣
- muhanmaishayiti木汗买沙以提
- kongzhongjiayoujishu空中加油技术
- huxinguo胡新国
- chuizhiyundongzhongshu垂直运动中枢
- tianhaiju天海聚