(科普TIMEPART2:
B:A这句话是假。
们可能会认为A(或B)这句话非真即假,且让们来看看是否如此,假设A这句话是真,即表示B这句话是真,故「A这句话是假」是真,故A这句话是假,和假设矛盾。们现在假设A这句话是假,则「B这句话是真」是假,故B这句话是假,所以「A这句话是假」是假,即A这句话是真,这又和们假设矛盾,结论是,A不论是真是假都得到矛盾,大家若有兴趣,不妨从B句开始,亦得到相同结果,这就是它之所以被称为诡论缘由。
戈德尔是如何利用这个概念呢?若说:「这句话是假。」那利用前面论证,这句话是矛盾,所以任何个致公设系统都无法说出这句话来,而戈德尔将上面这句话改为「这句话不能被证明。」
注意,「真」和「能被证明」并不相等,同样「假」和「不能被证明」亦不相等。戈德尔证明在皮亚诺公设内,(其实不需要用到这强公设)可以说出「这句话不能被证明」,若愿意接受这件事,们即可证明不完备定理,为证明方便,们称「这句话不能被证明」为A,若在此系统内A被证明,则由A意义,即A不能被证明,知道「A」是假,而在此系统内证明个假叙述,表示此系统是不致,故若此系统是致,则A不能被证明,则由A意义得知A是真,因它说它不能被证明,因此们也就找到个叙述,即为A,它是真,却无法被证明。任何个公设系统若能说出「这句话不能被证明」则此系统若非不致,就是不完备。好长!!
)
莉浦拉普以蕴含哀伤情绪乌溜溜双眼,看向倒地茉莉琪。
「茉莉琪预视切,让凡事随心所欲至今,所以要是事情无法如她所愿,她就会懊悔到快要死掉啦。」
而且对方是她认定比自己低等人类,是她认定比自己愚昧人类,对方偏偏是以知性将她打得体无完肤。
懊悔到快要死掉。不对,以她状况,肯定比死掉还不甘心。所以比起死,她选择遗忘切。
「此外,通称『拉普拉斯恶魔』茉莉琪眷属,也在不久之前,同样被海森堡不确定性原理除掉啦。末莉琪双眼就是从当时开始脱离完美,开始看错啦。」
请关闭浏览器阅读模式后查看本章节,否则可能部分章节内容会丢失。