免费阅读
返回
菜单
上一章查看最新章节下一章

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

作品:道与碳基猴子饲养守则作者:飞鸽牌巧克力
如果本章错误,请点击报错10秒纠正

。具体的计算我可做不到,但是,‘核心诡计’的思路却可以说一说。”

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

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

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

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

“……残缺。”

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

巘戅啃书居巘戅。他轻松地望向窗外的星空,脸上挂着笑容。

“其实我还在思考另一个问题,周同学。那就是许愿星星的存在。过去我曾认为,许愿星星是会因为悖论而爆炸的,刚才也是那样向你讲的。可是,最近我又想到了新的问题——许愿星星要是真的存在的话,

…。。
   本章没完,请点击下—页继续阅读!如果被转码了请退出转码或者更换浏揽器即可。
  温馨提示:亲爱的读者,如果你觉得本站还好,为了避免丢失和转马,请勿依赖搜索访问,建议你使用[华为刘揽器]或[Firefox火狐刘揽器]访问并收蔵【太阳书阁】 m.tyjt1688.com。我们将会持续为你更新,还建议你注册会员使用书架功能追书阅读更方便。
上一页 23456下一页
上一章查看最新章节下一章
临时书架加入书签回顶部↑

看了《道与碳基猴子饲养守则》的书友还喜欢看

年代1958,从搬运工开始!
作者:南方的落叶
简介: 1958年的京城,李富贵被街道办安排到供销社当搬运工。\n随着公社化的推进,以及系统...
更新时间:2026-10-26 22:12:22
最新章节:第310章 自私的人,有我一个就够了
从修仙回到都市,坏消息修为没了
作者:绫波丽
简介: 十八岁高考结束那天,陈玄为了救下被失控汽车撞向的妹妹,重伤昏迷,成了植物人。
更新时间:2026-10-26 22:10:19
最新章节:第362章 五图均已现世!
满门遗孀,花甲老汉粮肉满仓
作者:小龙的笔
简介: 【非魂穿+温馨种田+老当益壮+娶妻变强】

特种兵林骁一次意...
更新时间:2026-10-26 22:01:58
最新章节:第330章 去见云州知府!
重生漫威,我是钢铁侠之子?
作者:惟道独尊
简介: 马克重生来到危机遍地的漫威世界,成了新生的婴儿。而他的身份,竟是亿万富豪托尼·斯塔克...
更新时间:2026-10-26 22:08:00
最新章节:第三百三十八章 越狱
我,四岁崽崽,小手一掐,算谁谁死
作者:君彤
简介: 【玄学天才+团宠+真假千金对照组】

出生就被抱错的糯宝,终...
更新时间:2026-10-26 22:14:53
最新章节:第63章 把它们毒死!
鉴宝:我能从文物中提取技能
作者:最爱老板娘
简介: 穷小伙偶得一颗龙珠,不仅能寻宝、鉴宝、储物,还能从古玩和文物中提取技能!
<...
更新时间:2026-10-26 22:07:54
最新章节:第654章 他们打死打活,趁机挖灵药
书名:

本站若有图片广告属于第三方接入,非本站所为,广告内容与本站无关,不代表本站立场,请谨慎阅读。

Copyright © 2020 太阳书阁 All Rights Reserved.kk

SiteMap