哥德尔关于不完备定理的论文-On Formally Undecidable Propositions of Principia Mathematica and Related Systems

1,387阅读 16顶 7人收藏 22页当当717上传举报/认领展开

本文档由当当717 分享于2008-08-08 13:41

Kurt Godel的著名论文《On Formally Undecidable Propositions of Principia Mathematica and Related Systems》First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic..

文档格式：: .pdf
文档大小：: 327.27K
文档页数：: 22页
顶 /踩数：: 16 / 0
收藏人数：: 7
评论次数：: 0
文档热度：
文档分类：: 生活休闲 — 科普知识; 添加到豆单