根岑
概述
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
2 扩展释义
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德国数学家.生于格赖夫斯瓦尔德(Greif-swald )，卒于捷克布拉格.1932年获博士学位.1934-1943年，在格丁根为希尔伯特(Hil6ert,D. )当了10年助手，后任教于布拉格大学.他在《基本定理》中强化了演绎系统，完成了古典分析系统相容性证明的部分工作，给出希尔伯特一根岑定理，将希尔伯特的逻辑公理计划推进到新的阶段.此外，他还证明过一些初等数论中的问题.
9 词语组词
相关词条
本词条最后更新于 2026-07-16 07:45:19
友情链接
抓书网
短词网
书号查询
星云网
查看山西天气-潍坊天气预报 查看山西天气 山西是什么意思？
莲蓉水晶糕是什么意思？
Ascii与Native编码转换是什么意思？
滑动门是什么意思？
杭州天气预报30天是什么意思？
内蒙古自治区天气预报30天是什么意思？
清朝大臣隆科多举报佟国维的原因是什么？是什么意思？
关于囚母有关的词语是什么意思？
才艺与仁心难掩治国之失：汉元帝“昏君”标签背后的历史真相是什么意思？
八字纳音算命是什么意思？
关于劳动合同书样本【最新12篇】是什么意思？
生活服务是什么意思？
花馔 汉语词语 · 释义文档是什么意思？
血型与性格是什么意思？
水库选钓鲫鱼冬天钓位是什么意思？
全国天气预报网站地图是什么意思？