小說王-台灣最大小說網 > 武俠仙俠 > 走進修仙 > 第七十三章哥德爾完備定理加更四

第七十三章哥德爾完備定理加更四


屬于王崎的破境開始了。

“對于最簡單的一階謂詞邏輯而言……”

王崎全身的法力仿佛都感應到了即将到來的突破,盡數躁動起來。

一個又一個穴竅被沖開,新的陰陽爻在批量生成。

“進行邏輯演算……”

當王崎寫下這一句話的時候,他體内所有陰陽爻都開始滿負荷運轉。

“……可以證明所有邏輯上有效的公式……”

王崎捏着筆的手因爲過度用力而發白,他黑色的眸子變得幽深。

一個答案呼之欲出。

“因此……”

當王崎落筆的一刹那,他體内的所有陰陽爻都瞬粉碎,爆炸性的法力一瞬間就把他的身體脹滿。

但是,少年沒有感知到。或者說他感知到了,卻沒有理會。

我知道了!我知道了!

他隐約預感到,接下來要寫的東西,将是他有生以來最大的輝煌。

“可以認爲,一階謂詞演算是完備的。”

就在這一瞬間,爻定算經瘋狂的運轉,陰陽爻開始在諸大穴竅重新凝聚,數量卻比之前多了一倍!

王崎顧不上檢查體内的狀況,因爲他已經陷入了莫大的喜悅之中。

“哇哈哈哈我知道了!我知道了!”

一根手指在他書桌上點了兩下:“能不能先解釋一下,你知道什麽了?”

王崎看到辰風,有些奇怪:“東家?你怎麽追到萬法門來了?我們說好明天……啊!”

說着,王崎居然發出一聲尖叫。

“我去你這……”辰風耳朵一痛,無奈道:“你也知道你爽約了啊。”

王崎突然扣住辰風肩膀。大神發問:“說實話,我爽約幾天了?”

辰風一頭霧水:“幾天?你爽約了一天我就找到這兒來了,你幾天不來我說不定就得換身衣服來逮捕你了。”

“一天?”王崎恍惚了一下:“現在什麽時辰?”

“戌時……”

不對啊?才一天不到?這不科學啊?

王崎抓起桌子上最上面那一張草稿——也就是他剛剛寫完的那一張,問道:“這個,真的是我寫的?”

辰風臉色變了:“你是不是走火入魔腦子受創了?:要不要我給你檢查一下?”

“你先告訴我是不是!”王崎的聲音越發焦急了:“老頭你也看到了,告訴我是不是?”

真闡子說道:“是的,确實是你是你寫的。”

辰風驚疑不定:“你都不記得自己寫過什麽了?這是你剛剛寫完的啊。”

另一個“老頭”劉雲祥也走了進來:“我親眼所見,是你寫的。孩子,你究竟在寫什麽?”

王崎仿佛被抽去了渾身的力氣,跌坐在地上,說道:“這不現實啊……”

整個萬法門駐地的人都被驚醒了。所有人都好奇的圍了過來。看到王崎怅然若失的樣子,先前吃了個虧的梨月很是不爽:“裝神弄鬼。”

王崎突然打了個激靈:“對不起各位,清閑出去一下行嗎?我需要一個人靜一靜。”

劉雲祥想看一看王崎的論文,但王崎按住了紙張:“對不起……現在這個還不能給人看……劉師叔,請您出去一下,我真的需要一個人靜一靜。”

王崎這話讓萬法門的幾個弟子微微色變,梨月更是怒道:“你竟敢對劉師叔無禮?”

劉雲祥制止了萬法門弟子的指責,說道:“我們還是出去等一等吧。”

辰風連同一陣萬法門弟子來到外面。對于王崎的異狀,所有人都議論紛紛。

莫真真感歎道:“原來傳說當中,天才寫論文就能一路升上去的傳言是真的。”

周圍人的感歎略帶羨慕。

“就是就是,原來王師兄居然是……”

“他肯定不是外門弟子了吧……”

聽到周圍的議論,對王崎好感度已經跌破表的梨月哼道:“寫論文漲修爲這件事是有,可也沒那麽簡單。修爲之所以會增長,那是因爲思考的過程帶動了魂魄,隻要你真的思考了,就算思考的東西是錯的也可以增長修爲。”

有人好奇的問道:“那結論有錯會怎麽樣?”

皇甫漣沉聲道:“會偏離正法,若是堅持錯誤甚至會積重難返。一般的情況下也不要輕易試探。”

有與王崎關系比較密切的弟子緊張的詢問劉雲祥:“師叔,王師兄的結論應該不會有錯吧?”

劉雲祥滿然的搖了搖頭:“這個……我不知道啊?”

這個結論非常正确,對此王崎非常有信心。

因爲,這個結論并不是他自己得出的,而是地球一位數學家的結論。

哥德爾完備性定理。

與哥德爾不完備性定理比起來,這個定理不大出名。它源自于庫爾特·哥德爾的博士生論文。它證明了在形式系統當中,一階算詞是完備的,一階邏輯演算中所有邏輯上有效的公式都是可以證明的。

但是,一階謂詞演算是一種能力比較弱的數學系統,如果隻是應用它的話,連自然數都定義不了,就更别說算術。

對于希爾伯特計劃,哥德爾完備定理是一個重大突破,但是遠沒有不完備定理那樣一錘定音的效果。而且完備定理也隻是沿着希爾伯特的思路,在馮諾依曼的基礎上又走了一步,而不是像不完備定理那樣屬于天才般的跨越。

但是……

“這還真是不科學的速度啊。”王崎喃喃自語。

對于哥德爾這種神級數學家來說,這篇論文或許隻是一篇博士生論文,但世界上大多數數學家都寫不出這樣的論文。

或者說,一般數學家都未必看得懂。

“雖然我知道大緻思路,也提前知道了結論,但是……我居然一天就推出來了?”

王崎懵了。

知道大緻思路和結論不代表完全沒有難度了。這就相當于大家到一個新地圖尋寶,普通人不知道有沒有寶藏,王崎一開始就知道有,而且看到了一個指路牌。

但是具體的路還是需要他自己找

他最開始甚至沒想到要一鼓作氣把哥德爾完備定理推出來,而是沿着馮諾依曼的思路再找一個算術系統特殊的子系統論證一下就行了。

“我水平有這麽高?”

追書top10

熊學派的阿斯塔特 |

道詭異仙 |

靈境行者 |

苟在妖武亂世修仙 |

深海餘燼 |

亂世書 |

明克街13号 |

詭秘之主 |

誰讓他修仙的! |

宇宙職業選手

網友top10

苟在妖武亂世修仙 |

苟在高武疊被動 |

全民機車化:無敵從百萬增幅開始 |

我得給這世界上堂課 |

說好制作爛遊戲,泰坦隕落什麽鬼 |

亂世書 |

英靈召喚:隻有我知道的曆史 |

大明國師 |

參加戀綜,這個小鮮肉過分接地氣 |

這爛慫截教待不下去了

搜索top10

宇宙職業選手 |

苟在妖武亂世修仙 |

靈境行者 |

棄妃竟是王炸:偏執王爺傻眼倒追 |

光明壁壘 |

亂世書 |

明克街13号 |

這遊戲也太真實了 |

道詭異仙 |

大明國師

收藏top10

死靈法師隻想種樹 |

乘龍仙婿 |

參加戀綜,這個小鮮肉過分接地氣 |

當不成儒聖我就掀起變革 |

牧者密續 |

我得給這世界上堂課 |

從皇馬踢後腰開始 |

這個文明很強,就是科技樹有點歪 |

熊學派的阿斯塔特 |

重生的我沒有格局

完本top10

深空彼岸 |

終宋 |

我用閑書成聖人 |

術師手冊 |

天啓預報 |

重生大時代之1993 |

不科學禦獸 |

陳醫生,别慫! |

修仙就是這樣子的 |

美漫世界黎明軌迹