小学数学数学故事算术公理系统的无矛盾性.doc
《小学数学数学故事算术公理系统的无矛盾性.doc》由会员分享,可在线阅读,更多相关《小学数学数学故事算术公理系统的无矛盾性.doc(1页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。
算术公理系统的无矛盾性欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。根茨(G.Gentaen,1909-1945)1936年使用超限归纳法证明了算术公理系统的无矛盾性。1
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 小学 数学 故事 算术 公理 系统 矛盾性
限制150内