返回
小学数学数学故事算术公理系统的无矛盾性.doc

小学数学数学故事算术公理系统的无矛盾性.doc

ID：50384400

大小：28.00 KB

页数：1页

时间：2020-03-08

小学数学数学故事算术公理系统的无矛盾性.doc_第1页
资源描述：

《小学数学数学故事算术公理系统的无矛盾性.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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

当前文档最多预览五页，下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页，下载文档查看全文
温馨提示：
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。