任何个足够强致公设系统,必定是不完备。
即除非这个系统很简单,(所以能叙述不多),或是包含矛盾,否则必有真叙述不能被证明。
第二不完备定理
任何个足够强致公设系统,必无法证明本身致性。
所以除非这个系统很简单,否则你若在此系统性,证明本身致性,反而已显出它是不致。
「所谓不完备定理,讲得粗鲁点,就是证明完美系统不可能性啦。」
「不可能……?可是所谓证明,应该是做得到才能证明吧……」
「数学评等只有2人果然不样啦。」
「你为什看过成绩单……!」
莉浦拉普做出安抚手势。
「莉浦拉普,这……现在是,甚状况……?为什……」
莉浦拉普喘口气之后,恢复为原本莉浦拉普。
「无法攻击身体,就攻击心理啦。能够窥视他人内心,对他人内心沟通茉莉琪,也可以对自己做相同事啦。平常她都是用这种方式,把喜欢光景当成录影带重复播放享受啦。不过这次……」
茉莉琪甚至能让他人看见那真实过去或幻想,因此她轻易自行回想起最受打击往事,并且再度目睹。
「所以,刚才你说人是谁?」
戈德尔证明过程相当复杂,而其中最核心概念,是古典希腊哲学中个有名诡论(paradox):说谎者诡论。纪元前6世纪希腊时代个诗人哲学家Epimenides说句很有名话:「所有克里特岛人都是说谎。」这句话有名倒不是因为它是真理,正好相反,因为它定是错,为什是错呢?因为说这句话人Epimenides就是克里特岛人,同样句话,别人说也可能是对,(希望不致冒犯
「总之,茉莉琪曾经想打造个真正『毫无问题世界』啦。茉莉琪什都看得见,她自己就是完美系统,原本肯定做得到啦,却因为刚才提到不完备定理而失败啦。」
莉浦拉普点点头。
「这个定理证明全能、万能不可能性,反过来说,也证明人类知性永无止尽无限可能性啦。站在茉莉琪角度,代表人类即使不用依循完美系统,也能够不断前进……近似于人类抗拒啦。」
(科普TIME,般所谓不完备定理,分为两个部份:
第不完备定理
莉浦拉普把头摇到「受不,真拿你没办法」程度
「……是现代电脑基础创立者约翰•冯•诺伊曼,以及相对论创立者阿尔伯特˙爱因斯坦好朋友啦。而且是这两位天才赞不绝口伟大智者啦。」
「是喔……那还真厉害……」
翔希率直戚叹。顺带提,铃兰只知道爱因斯坦。她听过亚里斯多德这个名字,却无法立刻想到这个人事迹。睡莲则是只有难以理解般蹙眉,她肯定无所知。
「所以……刚才说那个,是什?」
请关闭浏览器阅读模式后查看本章节,否则可能部分章节内容会丢失。