其他分享
首页 > 其他分享> > 人类思维的局限

人类思维的局限

作者:互联网

哥德尔不完备定理

任何兼容的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中不能被证明的真命题,因此通过推演不能得到所有真命题(即体系是不完备的)。

任何逻辑自洽的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的兼容性。

道德经第一章

标签:人们,思维,定理,玄妙,证明,局限,奥妙,人类,哥德尔
来源: https://www.cnblogs.com/zyscn/p/10768328.html