手机浏览器扫描二维码访问
——不是真,不是假,是“可能真”
。
哥德尔不完备定理说:在任何一个足够强大的逻辑体系里,都存在一些命题,它既不能被证明为真,也不能被证明为假。
希尔伯特计划要“完备且一致”
,哥德尔说“不可能”
。
逆律在这里嵌入的是希尔伯特计划的强硬版:强制完备,不惜牺牲一致。
把那些不能证明为真的命题直接切掉,系统就“完备”
了——但切掉的那部分,恰恰是这个宇宙的完整一面。
她在公理平面上站起来,把这段新公理沿着断口刻进公理膜。
问层在那一瞬间忽然跳得极快极快极亮极亮——假值废墟底下那些被压在最深处最深处的命题碎片忽然全部同时震了一下,每一个断口都被重新打开了。
它们不是假,它们是“还没被证明”
。
那些碎片开始被公理膜重新接回去,断口上自动生出一小段极细极细极柔极柔的“未定”
标签。
“未定”
意味着“可能真”
,它们可以继续长,不必再被丢进假值废墟。
江辰把花放在公理平面上,花心里那道分之轮回的完整模型在指定公理接入的一瞬间往深处又多走了一层——通往空核的文路尽头,那片一直在轻轻哼鸣的膜忽然多了一道极清极清极准极准的音阶,和音乐宇宙那道原始低音在公理膜上重新共振成同一道和弦。
空核原来不仅有“记”
的纹、“替”
的纹、“共融”
的律,它还有自己“未定”
的命题。
那些命题不是真,不是假,是混沌在分化时给自己留的问。
秦若站在公理平面边缘那片假值废墟前——废墟上那些刚刚接到新推导链的命题,正一层一层地往上长,第一次从这个宇宙深处升起。
那不是什么定理峰,那里是“可能性”
。
她把那片还在重新接链的命题最初断口上的“未定”
标签轻轻收进掌纹里问层的最深处——这层指定公理从此长在她的掌纹里,和问层同一频率振动。
以后不管碰到什么“不能证明为真就被判定为假”
的逻辑,她都可以在这一层里替它标上“未定”
——未定就是还有机会,未定就是还没完。
小念蹲在那片命题的诞生处,把那些碎屑底层最细最细最弱最弱的几个初态碎片轻轻捡起来——它们太小了,断口太新,链还没接稳。
...
...
秦朗穿越到多部网文融合的世界,爷爷是硕果仅存的老功勋!父亲从仕,权柄通天!母亲经商,身价骇人!而他,则是秦家唯一的继承人!可这样的神豪偏偏却是原著中的大反派?要被主角疯狂打脸,家族也要成为主角的垫脚石?叮!天命大反派系统绑定中什么?掠夺主角气运能获得反派值?反派值能获取各项神技技能!秦朗掐腰,踩着气运之子一路高歌猛进,站立巅峰大吼一声还有谁?!各位书友要是觉得秦朗沐语嫣还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!...
娇妻傻婿由作者晗路创作连载作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供娇妻傻婿全文无弹窗的纯文字在线阅读。...
穿越到90年代末,李敖站在篮球梦的起点20年后那个最混乱的篮球时代,让他对这一行的前途非常不看好但转念一想,20年后的篮球世界是什么样关他鸟事现在,正是神归隐之后群星闪耀百花齐放的时代!大鲨鱼石佛最接近神的男人狼王德国战车真理飞人TMac李敖的篮球梦,从当陪练开始...
穿越御兽世界,纪九安发现自己成了大熊猫,而且还是天赋最低的宠兽。不过当他觉醒‘摆烂就变强’系统后,每天只要摆烂就能变强。叮,摆烂十分钟任务完成,获得奖励种族成长等级提升。叮,有了技能不修行,摆烂睡觉,获得奖励技能自动锻炼。若干年后,纪九安踩脚神话生物,躺在自己御兽师大腿上我虽然那么强,但我都没努力过,我修行全各位书友要是觉得我,神话级熊猫,被校花当成废物还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!...