• 1.3.4 数学分析是什么数学的逻辑自洽性和数学演绎的自洽性 ...但哥得尔的理论基本上还是对的，他所得出的结论就是：凡是与正整数运算连在一起的“运算公理”都会产生不能证明也不能否证的命题。关于它的哲学引伸，我们将在哲学中...

• 开心科普-凯迪社区-全球华人最具影响力的言论及媒体平台0/3102009/8/31 02:48|3/4572009/8/30 23:51|爱因斯坦早在上个世纪中就已经被哥得尔"踩死"2/1047...

• 阴阳学道理 老子留下道德经五千言，康德写过纯洁理性批评最后我们提一提情势系统的完全性?Vollstaendigkeit?遵照哥得尔?Goedel?的不完全性定理说，假如算术情势系统是简单无矛盾性，那它就是不完全的。...

• ????????最后我们提一提形式系统的完整性﹝Vollstaendigkeit﹞，依照哥得尔﹝Goedel﹞的不完整性定理说，如果算术形式系统是简单无矛盾性，那它就是不完整的。...

• 搜索知识-定理-不完备性定理-阿基米德原理-相似形-毕达哥拉斯树...譬如现代数学中，总有在定义该系统的公理的基础上既不能证明，也不能证伪的问题。换言之，哥得尔证明了，存在有任何一族规则或者步骤(都)不能解决的[阅读全文]...

• 中医术语-19-bokee.net依照哥得尔﹝Goedel﹞的不完整性定理说，如果算术形式系统是简单无矛盾性，那它就是不完整的。阴阳形式系统不是算术形式系统，它允许不同定义的存在。就是说，它允许...

• rota 的数学哲学 李国伟教授用的都是德国的一种简写的符号，那种符号只有老派的德国人，像哥得尔这些少数的名家才看的懂，现在越来越少人懂得这种写法了，这就是Rota哲学的主要来源。...

• 随笔-pin wei-搜狐博客最后我们提一提形式系统的完整性﹝Vollstaendigkeit﹞，依照哥得尔﹝Goedel﹞的不完整性定理说，如果算术形式系统是简单无矛盾性，那它就是不完整的。...