小原文学网
首页 > 其他 > 坦坦荡荡真君子免费阅读 >

第677章 自我指涉

章节目录

  林晓解释道:【任何试图完整描述自身的系统,都不可避免会陷入逻辑的矛盾……】

  虽然他说的有些抽象,但张梅立刻给出了她的理解:【就像是那个经典的故事,从前有座山,山里有座庙,庙里有个老和尚,老和尚对小和尚说:从前有座山……】

  虽然林晓笑不出来,但还是觉得张梅很可爱。

  林晓回复道:【你说的很有道理。这确实涉及到了部分自我指涉的特征。

  不过,我可以举两个更具体的例子,你一听就明白了。】

  【第一个例子:想象你在路边看到一块路牌,上面清清楚楚地写着:“此路牌已废弃”。】

  张梅:【……】

  无语。

  但是她立刻明白了林晓想要表达的那种逻辑矛盾:

  一块路牌的作用就是展示信息。

  而如果一块路牌展示的信息是:此路牌已经废弃。

  那就彻底否定了自己存在的意义。

  你会质疑这件事真的是蠢透了!

  有必要立一个路牌提示:此路牌已经废弃吗?

  你最正常的做法应该是,根本就不要去设立这个路牌。

  林晓继续回复道:【第二个例子,是一个更纯粹的语言悖论,只有一句话:‘这句话是假的。’】

  张梅:【???】

  下一刻,张梅:【!!!】

  稍加思索,张梅就明白了这句话引发的矛盾:

  如果这句话是真的,那么它说的内容(自己是假的)为真,所以它是假的;

  如果它是假的,那么它说的内容为假,意味着“这句话是假的”这个事实是假的,所以它又是真的。

  这句话陷入“自我指涉矛盾”。

  真则假,假则真。

  它像一条咬住自己尾巴的蛇,永远找不到起点,也永远没有终点。

  怎么样都是冲突的。

  张梅知道,为什么以林晓所拥有的知识,以及无比强大的“信息霸主”异能辅助,他依旧解不开这道难题了。

  因为这是从逻辑底层,就无法解决的难题。

  也难怪自己的“心象织理”异能帮不上林晓的忙了。

  这是宇宙底层的Bug,要是真能被她强行改写的话,整个宇宙恐怕都会因此崩溃。

  张梅不知道的是,这个悖论甚至在林晓的前世,罗素在朴素集合论中引入了“自我指涉”之后,直接引发了第三次数学危机。

  结果就是动摇了整个数学大厦的根基。

  只不过是数学大厦和物理学大厦不同,哪怕是根基动摇,那些上层的结构也可以不受影响。

  毕竟数学不需要什么大一统理论的支撑。

  但是在此基础上,也产生了20世纪最伟大的数学发现之一——哥德尔不完备性定理。

  该定理简而言之:

  在任何一个足够复杂(包含基本算术),且逻辑自洽的形式系统中,必定存在一些命题,它们在这个系统内部既不能被证明为真,也无法被证明为假。

  这个定理颠覆了数学家的梦想:

  即建立一套能判定所有数学命题真假的公理体系。

  其证明的精妙之处,正是构造了一个自指的命题,它本质上在说:“本命题在此系统内不可证明”。

章节目录
书友推荐: 老祖,时代变了 造船的?那这个像航母的是什么鬼 第四天灾从不相信钢铁洪流! 从东京开始,掀起灵气复苏 家父刘宏,我躺平了 遮天:帝尊,谁教你这样用人皇幡 东京病恋女友 柯南:我真觉得米花町是天堂 我不是领主 1978:从参军开始的文豪 大宋财经周刊 双斗罗对比:这个玄子,正的发邪 朕即天命:从西域征服世界 从恐怖片开始的假面骑士 英灵召唤:只有我能契约华夏英灵 从离婚开始的文娱 他和她们的群星 四合院:我是棒梗的大伯 序列:八道横行 魔祸诸天:从小李飞刀开始横行