“知!知!”苏君宇振奋声音传遍整集训。狂吼,激将稿纸法力震碎,抛洒空,几散花。
近几,集训死气沉沉。群信念注定被否决算习交流,像群死囚抱团取暖。
苏君宇声,疑给其巨鼓舞。
薄笑风虎躯震。知苏君宇正思考什。虽迹象表明,或许已经辈证明“完备”算,至少否定算主思路。
,结果真呈候,几分敢相信。
苏君宇,引其注。几,古怪思已经被少知晓。听思考“完备”儿,很暗盯。或等待笑话,或等待功。
,功?
更围向苏君宇。薄笑风先勉强:“苏君宇……恭喜……恭喜啊……”
苏君宇摆摆:“恭喜候啊。感觉找重方向……果功话,元神望。”
另认识苏君宇修士问:“元神……刚刚金丹三四吧?”
“元神路啊。,果真解决问题,定除元神外,连炼虚涅槃铁板钉钉。”苏君宇表极度亢奋:“逍遥级别果!”
众倒吸口凉气。
元神关做逍遥期果,路平平稳稳晋升逍遥。修士很。太尊典型例。很少名才修士。
众向苏君宇眼神,立刻。逍遥级果,味限光明未。算朝方向努力却失败,否定条错误路。“否定”,冲击修士获巨处。
且,候够逍遥级果,除二十三问二问“完备性证明”外。什?
“找思路?”高继扬急忙追问。虽已经转变思维,却找通往完备思路。
苏君宇点点头,:“啊。先声明啊,思路抢。”
“苏师兄。呢,信真脸。”薄筱雅声。完备证明,早急耐,等证明。
薄笑风:“。老苏,剽窃思路。……,挺。”
薄笑风“”,包括逍遥修士内整薄。够视警告。
更则声:“定已经被辈证明东西,至藏掖吗?快点!快点!”
万法门弟问题答案早翘首盼
苏君宇点点头:“,。连续统知吧?”
“连续统?”高继扬立刻察觉:“二问问题涉及连续统吗?问二问,实际问题两?”
苏君宇愣:“问两?法吗?”
随即,识什,哭笑:“……住各位,刚才灵感,问。与二问干。”
“问?”薄笑风瞪眼睛:“思考二问吗?怎跑问?”
“误打误撞罢。”苏君宇笑:“否定完备性,近思考算够思考每角落,尤其集合论体系。,思考‘集合公理’,公理,找灵感……”
“停!”高继扬制止苏君宇,指半空画圆。灵气顺志汇聚圆环内,化熟法度。灵光圈圈住苏君宇周围圈。
高继扬沉声:“或许猜测,二问被解决。,目迹象表明。问被其解决。,法,应该属苏师弟。”
“若周围师兄弟向问领域做研究,且皮话。听,话,若纠纷,皮。”
,两三元神期宗师退高继扬圈。灵光圈隔绝内外感应。圈,苏君宇论谈什听、。
果苏君宇真相似灵感。才真理清。尤其苏君宇薄两兄妹关系错。若因此薄庞物眼留恶劣印象,才亏。
候,高继扬才苏君宇:“苏师弟,继续。,太,点止。”
苏君宇笑摸摸脑:“师弟太,孟浪,师兄教训。”
“幸领域与问关,肯定忍住听听。”高继扬笑:“吧。”
“讲吧!”众愤愤。
“讲。首先,明,念头,思路,具体程,清楚程置理论否完善。”
“。首先,先建立框架,集合论公理允许存、立集合放框架内。框架内,再进操……”
苏君宇周围渐渐安静。
“,重新思考连续统。”
结束与路茜信件交流,王崎坐回书桌,始思考连续统证明问题。
“首先,哥德尔问题证明。”
“哥德尔工,建立巨框架,框架内,包含zf公理体系‘建立集合’。,模型,哥德尔证明,zf公理体系内,连续统假法证伪。”
“哥德尔做证明二十三,另位数科恩则做证明。位证明,zf公理体系内,连续统假法证实。”
“换句话,连续统假,其实判定问题。它独立集合论外,论立立,论接受它接受它,影响什。”
“集合论创始者根据集合论问著名假,却独立集合论外,算造化弄啊。”王崎微微感叹句。
“力迫法,哥德尔思路截。”
“力迫法”叫法颇暴力,实,它思路很接近暴力破解。它将“建立集合”范围,扩张zf公理体系允许范围,逐步逼近结果。
由论证涉及“创造原本存集合”,科恩力迫法证明程,比哥德尔程艰深许倍。
关键部分。“力迫法”义,并仅仅连续统。它,使数其独立zf公理体系命题。
果单纯数角度讲,力迫法冲击性甚至比哥德尔完备定理更。
球历史,希尔伯特首部分数,直死视哥德尔。其固很部分原因理念争、信仰争,根本法接受哥德尔理论。
,与哥德尔论述“够数”关。
部分数,哥德尔完备定理,更文字性论述,非数证明程。
“完力迫法,神州算够进入新境界。”
王崎奋笔疾书。间,书房剩笔尖与纸张摩擦声音。
“寻找……寻找比zf公理建立集合更集合……”
“独立公理……”
“独立……”
王崎思考,体内法力再次细微改变。
次,身周任何异象,法力任何暴或崩溃迹象。
切变化像声息。像法力点点细调整。
【推荐,野果阅读追书真,载 快试试吧。】
王崎知,新调整究竟什。(未完待续。)
ps:
月末,求月票。