數學文化：算術公理系統的無矛盾性
來源：網絡資源 文章作者：奧數網整理 2019-03-26 20:55:32
數學文化：算術公理系統的無矛盾性
歐氏幾何的無矛盾性可以歸結為算術公理的無矛盾性。希爾伯特曾提出用形式主義計劃的證明論方法加以證明，哥德爾1931年發(fā)表不完備性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限歸納法證明了算術公理系統的無矛盾性。
相關文章
- 小學1-6年級作文素材大全
- 全國小學升初中語數英三科試題匯總
- 小學1-6年級數學天天練
- 小學1-6年級奧數類型例題講解整理匯總
- 小學1-6年級奧數練習題整理匯總
- 小學1-6年級奧數知識點匯總
- 小學1-6年級語數英教案匯總
- 小學語數英試題資料大全
- 小學1-6年級語數英期末試題整理匯總
- 小學1-6年級語數英期中試題整理匯總
- 小學1-6年語數英單元試題整理匯總
點擊查看更多
