第一百六十章 決裂?不完備的陳述!-《走進修仙》
第(2/3)頁
在地球,學術地位就只是學術地位。但是在這里,學術地位和更多的東西掛鉤。有些爭端,只會比地球上更加激烈。
他要面對的。不是某一個權威,而是一個頂尖學派,包含兩位最巔頂者的眾多逍遙,幾乎占據萬法門半壁江山的人物。
但是。那又怎樣?
仙盟終究是一個學術組織,而非宗教組織。只要“那個定律”還在這個世界成立,那么,它的地位就無可撼動!
“也該出現在這個世界了。”王崎深吸一口氣:“哥德爾不完備定律……”
哥德爾不完備定律,在地球那個世界,擊碎所有數學家幻想、打破人類數學神圣性的東西。
曾經的數學家。都有著這樣的夢——“在保證數學一致性這個前提之下,如果又有了數學的完備性,也就是說任何一個數學命題都可以被證明或者被證偽”。對于任意一個數學猜想,不管它有多難,只要假以時日,通過一代又一代人的努力,總是可以知道這個猜想對不對,并且證明或證偽它。
換句話說,在數學中,通過邏輯,人們能夠知道任何事情,這只不過是個時間問題。
即使那個目標是“道”,是“終極”。
這也就是所謂的“我們必須知道,我們必將知道”。
但是現在,王崎將要寫出的兩道理論,將會擊碎這個尚存于神州的美夢。
我們永遠無法證明,一個超過一階的、復雜的集合論規則是自洽的。
任何相容的形式體系,都無法證實自身的相容性。
這就是哥德爾的兩條不完備定律。
人類的邏輯,實際上是不自洽的。
我們或許永遠也不能抵達“那里”。
王崎知道,這一篇論文的出現,會造成整個萬法門的動搖。無數修士將會恐懼這個理論,甚至懼怕它的提出者。
然后,曾經照拂過王崎一系的歌庭派,聲望也必然會一落千丈。
這是必然的。
至于會有多少人因為道心動搖而走火入魔?
想必不會太少吧?
但是,王崎必須寫。
與歌庭派分道揚鑣對他來說是早已注定的事情了。而且,無論是情感上還是理智上,他也著實不希望算主帶著一大群巔頂逍遙,往一個絕對不能說是正確的方向上死撲。
對于他來說,這么做,大約還可以算作是解放那些強大修士的勞動力,讓他們可以將心思轉向一些更加正確、更加有利于神州整體的方向吧?
而且,現在的王崎。也確實需要聲名。
數據化修法具有開創時代的潛力。而王崎需要聲名,更好的去推廣它,去開創時代。他要做新時代的領軍人物。對于這個計劃來說,聲名是必須的。
另外。歌庭派的赫赫威名,實際上也對王崎的計劃,還有對神州的算學發展造成了阻礙。
王崎早在六七年前,就公布了布爾巴基學派的思路。現在這么久遠的時間過去了,他在扶桑發表的演講。應該已經接著歌庭派的威名傳播出去了。但是,歌庭派的生命,反過來壓制了布爾巴基學派思想在此方天地的生長。
——因為算主并不喜歡這個思想。
王崎最初是借東風。現在“東風”已經用完了,再吹下去,王崎反而要受到壓制。
而布爾巴基學派的成果,又是后面許多物理理論的基石。
所以,王崎要么改變歌庭派,要么將歌庭派的聲名打落。
第(2/3)頁
主站蜘蛛池模板:
交城县|
微山县|
宜都市|
章丘市|
香港|
乃东县|
拉萨市|
巫山县|
阿巴嘎旗|
贵德县|
罗山县|
新巴尔虎右旗|
道真|
赤水市|
安平县|
漳浦县|
鹤山市|
桐城市|
汝州市|
安塞县|
太谷县|
白城市|
沅江市|
正安县|
广汉市|
织金县|
望城县|
岚皋县|
牙克石市|
溧阳市|
浮梁县|
新兴县|
龙口市|
正阳县|
玉林市|
莱阳市|
泽州县|
尼勒克县|
中超|
万荣县|
罗平县|