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

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

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

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

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

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

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

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

“……残缺。”

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

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

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

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

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

柴刀流漫画大师
作者:神奇柠檬茶
简介: “哈?渣男?你们自愿的凭什么说我是渣男?”……坂本健重生东京,一周目,把现实当成恋爱...
更新时间:2026-03-04 20:33:31
最新章节:第273章 炎热夏日
渣夫骗我领假证,转身携千亿资产嫁权少
作者:唐小糖
简介: 【渣夫火葬场+男主先婚后爱+虐渣打脸】

结婚两年,江染补办...
更新时间:2026-03-04 21:01:40
最新章节:第一卷 第354章 要他们千百倍的还回来
有帝族背景还开挂,我无敌了!
作者:不太勇敢
简介: 【爽文+无敌+专干天命之子+行事无所顾忌】

帝族一怒,浮尸...
更新时间:2026-03-04 21:02:08
最新章节:第一卷 第1469章 欢迎进入地狱,被盯上了
穿成囚禁残疾将军的恶毒女配后
作者:自由之上
简介: 【甜宠治愈+养崽+灵泉空间+脾气火爆的富家千金vs傲娇倔强的少年将军】
更新时间:2026-03-04 20:22:50
最新章节:第45章厮杀
芙莉莲:词条勇者的冒险旅行
作者:不能没肉
简介: “一件普通的亚麻衬衫,要500金币?”

“物超所值,我的朋...
更新时间:2026-03-04 21:05:00
最新章节:第85章 嗜血的诅咒(3/5 求首订)
在火影教书,系统说我是鸣人同学
作者:宝石对影
简介: 北泽,三无穿越者,平平无奇的中忍,为了活到大结局,苟在木叶忍者学校教书。
<...
更新时间:2026-03-04 21:08:50
最新章节:第四百六十章 雏田的踩背,井野的吻(二合一更)
书名:

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

Copyright © 2020 二零小说 All Rights Reserved.kk

SiteMap