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

第677章 自我指涉

章节目录

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

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

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

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

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

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

  张梅:【……】

  无语。

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

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

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

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

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

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

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

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

  张梅:【???】

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

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

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

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

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

  真则假,假则真。

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

  怎么样都是冲突的。

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

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

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

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

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

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

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

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

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

  该定理简而言之:

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

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

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

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

章节目录
书友推荐: 反派女帝是我的剑鞘 我的高武世界怎么是二次元画风 火红年代:从知青开始的激情岁月 四合院:我是棒梗的大伯 斗罗:武魂本体,我才是大师 这款末日游戏太真实了 次元入侵:我能垂钓诸天 综漫从秦时开始 坏了,这联盟作家真超越李相赫了 刚准备高考,过气顶流逆袭什么鬼 我真要控制你了,皇女殿下 玩家重生以后 最佳导演之2000 曝光帝王扮演者,老戏骨们杀疯了 华娱:天仙真的太想进步了 千面之龙 同时穿越,但是反派科学家 半岛之喜爱十多年的爱豆成了我姐 华娱1988,从小虎队开始 废墟探险家