默认冷灰
24号文字
方正启体

456 形式语言的诗性迷狂(下) (3 / 5)

作者:飞鸽牌巧克力 最后更新:2025/8/29 7:28:00
        迎着对方疑问的目光,陈伟苦恼地微笑着。

        “啊,不好意思,这个听起来确实很难理解,而且一时半会儿也很难想出例子来证明。不过,关于自涉的漏洞无法靠禁止自涉来填补,这一点是已经通过数学方法证明的。”

        “出家不成后又打算用数学来坑蒙拐骗了吗?”

        “只是普通的课外兴趣而已。”

        “原来是这样啊。在放学以后到鬼屋里散步的中文系学生,实际上却是一个数理哲学爱好者。真令人钦佩呢,陈同学。下一次碰到鬼的时候就用你深奥的数学知识来教育她吧。”

        “……你真的对我出来的事意见很大呢。不过,我并没有把数学和哲学联系起来的意思,周同学。也许那对更专业的研究者是可以成立的,对我来说数学的兴趣就止于推理而已。啊,算法和数论对我来说,就和推理的诡计是一样的。具体的计算我可做不到,但是,‘核心诡计’的思路却可以说一说。”

        她又一次没有应答。虽然没有应答,脸上的表情却显示出专注。这次是想要听他说下去的意思。

        于是陈伟说:“有这样一间完美的楼房。它是由世上所有的数学法则组成的。每一条法则都是它的一块砖。因为法则是无限的,所以楼房也可以无限地向上堆高。但是,无论堆积到什么高度,楼房的大致构造已经被建筑规则给定死了。就像语言要服从语法一样,存在于楼房中的无数砖块,全部都服从于这个系统本身的铁律,也就是整个楼房的地基。同时因为它在理论上是完美的数学楼房,所以任何数学法则的砖头都必须能摆得进去。只有一种材料不允许进入楼内,那就是构成了大楼地基的,这个系统本身的法则。”

        “砖头必须进去,地基材料则绝对不允许进入——这是为了保护这座完美数学大楼而施加的绝对铁律。通过避免这样的自涉性悖论,一个用以判断一切数论的形式逻辑系统便诞生了。只要这个针对地基的安全系统不崩塌,这栋完美数学大楼就可以说是数理逻辑的最高杰作。”

        “但是,这栋大楼最后遇到了一个狡猾的窃贼。通过一套非常复杂的变幻手法,这个窃贼成功地偷出了某块地基,把它完全合法地变成了一块砖头,绕过安全系统后塞进了大楼内部。既然通过了安全系统检测,那它毫无疑问是一块砖,可同时又是地基的一部分。整栋大楼被证明了自己的不完美,因此便崩溃了。这是个很精彩的故事呢,周同学,有兴趣的话你应该去看一看推理过程。不过,那个同时也是件遗憾的事,因为人类对于‘完美逻辑形式’最接近的一次尝试被打破了。不,对于自涉问题的防卫失败,可以说是我们思维残缺的证明。”

        “……残缺。”

        内容未完,下一页继续阅读
(←快捷键) <<上一章 举报纠错 回目录 回封面 下一章>> (快捷键→)

大家都在看?