根岑造句
造句与例句手机版
- 此后不久G.根岑(1909~1945)于1936年就用超穷归纳法证明纯粹数论的一致性。
- 格哈德?根岑(Gerhard Karl Erich Gentzen)(1909年11月24日?1945年8月4日)是德国的数学家和逻辑学家。
- 1936年G.根岑用超限归纳法证明了纯数论的协调性,但这已不是希尔伯特原来的计划。
- (吴希曾刘伯根岑红)本报北京1 1月6日讯记者杨健报道:拥有1 10 0万移动电话用户的中国移动通信业,结束了以往由国外产品完全垄断的历史。
- 最重要的进展有:1936年G.根岑用超限归纳法(它强于自然数论)证明全部自然数论的无矛盾性,1936年F.B.菲奇与P.罗伦岑证明了分支类型论的无矛盾性,1940年哥德尔用内模型法证明了选择公理与连续统假设相对于现有其他的集合论公理的无矛盾性,1963年P.J.科恩用力迫法证明了选择公理与连续统假设相对于现有其他的集合论公理的独立性等等,并从而得出很多成果,推进了数学的发展。
- 用根岑造句挺难的,這是一个万能造句的方法
其他语种
- 根岑的英语:gentzen