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

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

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

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

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

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

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

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

“……残缺。”

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

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

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

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

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

一心求死,反倒成为千古一帝?
作者:me小气猪
简介: 【纯爽文】+【践踏规则】+【疯批】+【发癫】+【怼人】+【一身反骨】+【造反】\n普...
更新时间:2026-10-26 22:06:31
最新章节:第662章 底下是什么东西?
重生2015,高中开始做男神
作者:周一口鸟
简介: 二十九岁的周子扬一觉醒来回到了2015年。这一年周子扬刚满十八岁,在县一中高三一班就...
更新时间:2026-10-26 22:08:06
最新章节:睡觉了,这本我尽快完结..
要当总统了,你跟我说系统来了?
作者:网文小咖
简介: 一觉醒来,成为了20军少军长。\n1949年末,历史的洪流无可阻挡,被派往南洋支援的...
更新时间:2026-10-26 22:06:53
最新章节:第 194章 战争的重塑
刀哭全网后,我登顶娱乐圈
作者:摸鱼新手
简介: 过度内卷和焦虑让一个原创音乐人猝死,穿越而来的余闲觉醒老六系统,只要发表
<...
更新时间:2026-10-26 22:00:00
最新章节:第416章 面壁者输了
大赤仙门
作者:古顽石
简介: 取坎填离会龙虎,铅汞交济求性命。登仙路上,多少白骨?仙山道宗,几家长青?
<...
更新时间:2026-10-26 22:01:00
最新章节:第1203章 失算
黑暗求生:丢失庇护所后自学成神
作者:出来卖好开心啊
简介: 【全民穿越+?副本?+?非正常求生?+外挂云集+无女主+非线性属性】\n全球穿越黑暗...
更新时间:2026-10-26 22:01:28
最新章节:第953章 世界图景
书名:

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

Copyright © 2020 菩提书屋 All Rights Reserved.kk

SiteMap