Image Modal

全国站
奥数网

全国站
奥数网

数学文化:算术公理系统的无矛盾性

网络资源 2019-03-26 20:55:32

数学文化:算术公理系统的无矛盾性

  欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。根茨(G.Gentaen,1909-1945)1936年使用超限归纳法证明了算术公理系统的无矛盾性。

温馨提示:福利来咯!距离数学拿高分,你和孩子只差这一步!→领取福利

相关推荐

点击查看更多
首页 导航