铁书网

字:
关灯 护眼
铁书网 > 道与碳基猴子饲养守则 > 456 形式语言的诗性迷狂(下)

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

p; 迎着对方疑问的目光,陈伟苦恼地微笑着。

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

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

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

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

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

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

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

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

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

    “……残缺。”

    “因为现实是没有悖论的,周同学。即便数论系统的大楼轰然倒塌,你本身的生活却得以继续。无论思想上出现多么无法解释的悖论,你所寄身的现实绝不会因此而受损。这样来说,现实一直是完美而自洽的,残缺而矛盾的只是我们的有限思维而已。既然如此,由我们有限思维创造的形式,还能够说比世界本身更接近理想状态吗?”

    他轻松地望向窗外的星空,脸上挂着笑容。

    “其实我还在思考另一个问题,周同学。那就是许愿星星的存在。过去我曾认为,许愿星>> --
『加入书签,方便阅读』
内容有问题?点击>>>邮件反馈
热门推荐
疯狂太岁神剑无敌说好高武世界,结果你一指爆星?穿越七零:俏军嫂自带别墅赢麻了皇孙凶猛大国崛起:从军工开始