“算……完备?”听句话,薄筱雅反应——特逗?
算完备?
算怎完备?
算必须完备!
即使算观念与算主截,句“吾等必将知晓,吾等必须知晓”名言。
算主及其追随者,算必须完备,必须具致性。修士眼,算本体,算符组合“形式”。每通算符组陈述,进“正确”或者“错误”判定,正确陈述定另算符组合加证明。另外,陈述,永远“正确”或“错误”两判断。存谓“既正确错误”或者“正确错误”况。
完备性,致性,判定性,算主,及歌庭派信念根基。
般算,部分虽必,直观觉——算定完备。
穷究物质流转规律修士已经数次惊异,某领域进攻候,万法门算早备“求器”——算公式。早元力宗,归盟,再今缥缈宫,通实证探究门派,直向万法门提供越越公式——源万物、法精妙公式。公式反哺算展。
万法门修士,宇宙间切,毕恭毕敬沿算规律运。
算完备,,残缺,问题咯?
薄笑风比妹妹更加稳重。按住苏君宇肩膀。渡内气:“苏君宇,稳固神,谨防魔滋……”
另外边。阳神阁宗师坐住,跑问:“需帮忙吗?”
苏君宇笑笑。挥薄笑风,位元神宗师礼,:“弟很,劳烦位师叔。”
将位阳神阁修士全走,苏君宇目光灼灼,:“疯,阐述性已。”
“性?管叫做‘性’?”薄笑风皱眉:“疯??”
“完备性被证明,谁否认性。”苏君宇认真:“至始至终知……”
“信离宗结果啊。”索文虹嫌恶皱眉头:“纯粹…………”
连宗弟。东西言明,容否认。
离宗弟,东西必,被证明,否认。
唯点,离宗连宗观点直。
秦川皱眉头:“证明呢?”
苏君宇耸耸肩:“暂,。”
“,敢话……”
“反正什正式场合”苏君宇谓。
薄笑风则奇:“苏君宇,底什思路?”
“,次习。肯定新理论做铺垫或者缓冲。,习,‘公理化’或者‘公理系统完备性证明’。东西。两百吧,几,新突破。绝称什颠覆性东西。”苏君宇缓缓:“既正习东西,颠覆性内容本身,定颠覆性内容置,或者抵消颠覆性内容冲击性东西。”
薄笑风点点头,表示苏君宇段话理。
“既颠覆性理论,定几东西关话,几东西思考。比较简单。”
“注,东西特点——它‘某思’产物。绕‘某高墙’做取巧法。”
薄筱雅立刻反应:“王崎师兄七思路……取巧……绕阶逻辑完备性证明!”
——王崎……
秦川眉头觉皱:“东西绕阶逻辑完备性证明取巧法,猜测算完备?怎完备性证明?”
“果完备性证明话。东西任何义!”苏君宇反驳:“且算完备,任何直观感受矛盾!算‘颠覆’!”
索文虹摇摇头:“理喻”
秦川则低吼:“证明!法,必须给证明!”
场谈话,几乎带愤懑离。苏君宇眉头则再次深深皱。
啊……证明,必须给证明……
——,王崎,果真做此,何证明?
苏君宇次感觉力。思考“完备”重理。因受王崎笔记“即使简单数字,超越类思维含义”理启。让独立证明方法……
由认知原因,苏君宇并识,王崎冯落衣,早将证明关键暗示给。
“银翼刺客”,“指”。
终,苏君宇深深叹息。
——靠,居追思路。
……………………………………………………………………………………………………………………
【推荐,野果阅读追书真,载 快试试吧。】
万仙幻境,冯落衣若澈仙全程围观幕。
若澈仙语气带份讥讽,九分苦涩:“,王崎苦白费啊。识,蜃戏才解谜题关键……指,指……呵呵呵。”
冯落衣语气平静:“终究象。”
若澈仙:“接怎办?使更加露骨提示?”
冯落衣摇摇头:“暂必。重引导,观察思维程转变。”顿,:“再观察七。果怀疑被忽视、遗忘迹象,让批元神修士加入场集训。”
若澈仙苦笑:“明明已经掌握关键钥匙却门入,仿佛身……几百像头苍蝇似,什清楚,乱闯乱撞,却知宝山身边。‘炼丹师悖论’,呵呵,古老理论啊。指……指……”
终,感慨化声叹息:“怎呢?”
“般思考问题,陷入层层迷宫,难拔。,才,偏偏够斩破重重虚妄,内核东西。”冯落衣语气平静。
哥德尔完备定理——王氏全律证明,并非蹴。它需经曲折艰难思考。
“王崎才?”
“毫疑问才。”见若澈仙兴致高,冯落衣换话题:“话回,希门主边怎?”
“师父边……”若澈仙苦笑:“约知见障太怕吧。根本识方问题。且……且……”
冯落衣皱眉:“且什?什问题?”
“实际,歌庭派内部思。”若澈仙耻口:“,全律表述、证明,太武断。‘算全’概念付诸文字短短四字,算符……几乎表达。觉,抵死承认算,将视‘文字游戏’,……避免摇。”
“呵呵。”冯落衣露讥讽色:“算君方式鄙视,方式鄙视别?”
若澈仙感叹:“……它确实算陈述……或许,思,保护老师……”
冯落衣愤怒:“让希门主胆鼠辈吗?”
若澈仙叹:“全律,服力足。”
……………………………………………………………………………………………………
“,完备定律服力确实足啊……”
王崎七次给陈由嘉送灵讯未果,。
哥德尔完备定律球哲领域展非凡价值。它量力测原理,构新世纪类认知观念基础。相,它数义巨。它数程碑,领域却很少它影。
因,偏向实际眼,哥德尔完备定律毫义。偏向理论眼,哥德尔完备定律够数。
“应该再加火呢……”
再加火话,老师推定理阻力兴许很……由嘉再万法门滞留……计划够更快推……
王崎思,渐渐转方。
果辩驳服力……
“,解决掉希门二十三问问呢?”
王崎恰知,何增加理论体系服力。(未完待续。)