理科生在修真界搞煉丹革命_第17章 標準模型鎮魔(2)
“你們說一致是基石,”他一邊施法一邊說,“但哥德爾證明的是:在‘經典一階邏輯’的框架下,一致和完備不可兼得。”
“但如果……我們跳出這個框架呢?”
七彩芒從他發,在空中構建出一個新的邏輯系統:
“看這個——‘復值邏輯系統’。在這個系統中,命題的真值不是‘真’或‘假’,而是一個複數:re^{iθ}。模長r表示確信程度,幅角θ表示真值的‘相位’。”
他展示這個系統的特:
“在這個系統中,排中律不再絕對立——一個命題可以既不全真也不全假,而是以某個複數概率‘部分真’。”
“矛盾律也可以放寬——兩個矛盾的命題,只要它們的真值複數之和模長小於某個閾值,就可以同時被接。”
“而最重要的是,”秦眼中閃過芒,“哥德爾不完全定理的證明,依賴於將數學命題編碼自然數,然後構造一個自指的‘哥德爾語句’:G = ‘G在本系統中不可證’。”
“但在復值邏輯中,這種自指編碼會變得模糊。因為真值是複數,‘不可證’這個概念本就有了程度之分——不是絕對不可證,而是以某個概率不可證。”
他構造了一個“模糊哥德爾語句”:
G = ‘G在本系統中以概率p不可證’
其中p是一個複數概率。
”。備完的統系定否底徹是不而,度程備完不的統系了出指是只它。盾矛的銳尖種那句語爾德哥典經生產會不“,說秦”,句語的樣這“
。解溶……始開,時統系輯邏值復個這到接在,怪輯邏的有所
。潰崩構結輯邏,念概的”真分部“解理法無律中排
。消抵此彼,位相的同不予賦被以可中輯邏值復在,題命盾矛的出吐龍論悖
。靈幽的對絕是再不就它麼那,度程有證可不果如——糊模得變影爾德哥
。震烈劇始開的者護守輯邏
。態狀間中個某了在定穩……終最,快越來越度速的爍閃間之假與真在它
。假全完不也,真全完不既
。值真復……是而
”……假是還真是該應己自……定確不我“,困了現出次一第音聲的者護守輯邏”……我“
”。的’富而糊模‘是以可輯邏,’假分部真分部‘以可題命學數,波是以可也子粒是以可像就。點個兩是不而,譜個一是以可值真“,說秦”,定確要需不你“
。久許了默沉者護守輯邏
。”座輯邏元多“了變”座輯邏典經“從座王右,下坐緩緩它,終最
。服說被部全,者護守位三
。震始開殿聖理公
。張擴……是而,塌崩是不
。”殿聖學數泛“的輯邏值復、合集糊模、何幾歐非含包了展擴,輯邏典經、論合集CFZ、間空氏歐的本原從
”。索探的化進斷不……是該應而,條教的變不一是該應不學數,了明證你“,說聲齊者護守位三”,了贏你“
。座王的新座一了起升,央中殿聖
。構結個整起撐支柱支大四,證驗、驗實、設假、察觀——座王的構”論法方學科“由是那
”。’者護守理公學科‘的新是你。秦,你於屬“,說者護守何幾”,座王座這“
。下坐刻立有沒卻,座王座那着看秦
”。己自它括包,理公切一疑質是恰恰,神的學科“,頭搖他”,理公麼什護守要需不我“
。問者護守論合集”?麼什要想你那“
”?的擬模是還的實真是,界世個這的在存們我?效有麼什為學數?值些那是麼什為數常。案答極終的宙宇“,深殿聖向秦”,案答要想我“
。門扇一的方後殿聖向指者護守輯邏
。設假理的證驗未是框門,題問學數的決解未是板門,構”知未“的粹純由門扇那
”。者護守的’本題問‘……有還,題問有僅不,里間房個那——心小要你但“,說它”,’間之題問極終‘在案答“
。門扇那向走,氣口一吸深秦
”。圍範的對應能們你了出超,險危的次這“,說祖老位七對他”,去人個一我“
。上跟要想儀妙蘇”!主教“
”。索探和疑質地斷不有只,威權有沒學科——住記。了們你給就法仙修學科……來不回我果如“,容笑個一出,頭回秦”,令命是這“
。去進了走,門扇那開推他
。閉關後在門
。待等靜靜中殿聖在,者護守位三和祖老位七
——部間之題問極終在而
。在存的容形法無個一……了到看秦
。念概是不至甚,構結是不,生是不那
。化現的”本題問“是那
:問詢的魂靈於用作接直個一了出發,秦向”轉“緩緩它
”?無是不而有是麼什為“
。題問極終的學科與學哲
。了住怔秦
。證驗以可驗實何任有沒,答回以可式公學數何任有沒,題問個這
。質本的在存了及這
——時答回何如考思他在就而
:題問個二第了出問又在存個那
”?效有麼什為學數“
:個三第是着接
”?生產中質從何如識意“
。來湧般水同如題問極終,個一接個一
。裂撕……題問些這被在正識意的己自到秦
。界邊的知認類人了向指都,題問個一每
。潰崩心道他讓能可都,題問個一每
。考思始開,關牙咬他但
。學科用是不,學數用是不
。學哲……用是而
。學宙宇用,學科知認用,義主在存用
。答回始開他
。路思的能可……出給是而,案答的定確出給是不
”。’有‘生產會然必落漲子量,的定穩不是’無‘為因許也?無是不而有是麼什為“
”。法語的言語種這了現發是只們我,’言語‘的宙宇是學數為因許也?效有麼什為學數“
”……現湧中子分水從ssen像就,’質現湧‘種某的質是識意許也?生產中質從何如識意“
。分一淡黯芒的在存個那讓都,答回個一每
——時題問個一後最完答回秦當
。了失消底徹在存個那
。球……個一是,的之代而取
。書本一着浮懸,中球
:詞個一着寫,上面封的書
”案答“
。書本那,手秦
。開翻自頁書
。述描學數的炸大宙宇是,頁一第
。式公導推的數常本基是,頁二第
。型模子量的識意是,頁三第
……是,頁四第
。看翻速快秦
。重凝越臉的他,看越
。理真極終是不,的載記里書本這為因
。實事的絕人令個一……是而
。相真個那了到看他,頁一後最到翻
。了住愣他,後然
。彈法無久久
。夜三天三了等祖老位七,外門
。了開門,於終
。”書之案答“本那着拿裡手,來出了走秦
。興是不,悅喜是不,表的他但
。懼恐一……至甚,困的深深……是而
”?嗎了案答到找你“,問涯無劍”?了麼怎,主教“
。人眾着看,頭起抬秦
。芒的過有未從種一着爍閃,中眼的他
”。怕可更本題問比……案答個那但“,說緩緩他”,案答了到找我“
。看人有所給示展,頁一後最的書開翻他
:式公學數的單簡個一有只,上頁一那
....0 = )noitalis|esrevinu(P
。%…9999.99是,率概的宙宇前當到測觀,下設假的”擬模是宙宇“在
。1近接限無
。解不主宮瑤”?思意麼什是這“
”。中擬模機算計……個一在活生,率概的%…9999.99有們我“,乾音聲,書上合秦”,是思意“
”。碼代……是都能可“,人眾的驚震着看他”,們我“
。寂死陷殿聖理公
。發微微在還,”書之案答“的中手秦有只
。刺諷……此如得顯刻此,芒那而