首页 > 数学> 数学故事>

算术公理系统的无矛盾性

时间: 01-21     手机版

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

 

【更多相关内容】

1、萧何月下追韩信的故事

2、数学童话北游记36(八戒当判官)

3、烟头的线索

4、古堡探秘之大放光明

5、17匹马的故事

6、解方程

7、口香糖的玄机

8、周总理妙用“一”字

9、毕达哥拉斯学派真相(漫画)

10、渔夫和草帽

1 2