第一百六十一章 呵斥,未來-《走進修仙》
第(1/3)頁
對于地球的數學家來說,被某一個定理弄得精神崩潰,最多是發瘋。在精神病院呆過的數學家,數量僅比在精神病院呆過的文學家少。
而對神州的修士來說,道心被破,就有可能帶來物理性的死亡。
因此,哥德爾不完備定理,對于神州的修士是非常危險的。
即使對于王崎這種上輩子就知曉這一定理,然后這輩子又親自將之推導出的人,都遇到了危險。
但是,王崎知曉,這應該不會是生命危險。
對了以防萬一,他預先就預估出十種可能的狀態,做出十二種預案。
其中,“狀況乙”就是指他現在的狀態。
崩潰確實發生了,很嚴重,一切手段都無法遏制。但是,到了最后的關頭,崩潰就會自動停止,為王崎留出一線生命。
“所有的公理系統都是不完備的”這一觀點,只是一般人對哥德爾不完備定律的誤讀。實際上,人類已知的完備系統是存在的。就比如說歐式幾何,它就可以被公理化為一個完備的系統。另外,王崎在數年之前拋出的哥德爾完備定理【在神州,它叫做‘王氏完備律’】,也說明了一切一階邏輯系統的完備性。
崩潰不是無止境的。至少王崎的修法當中,還存在“不完備”也不能懷疑、不能顛覆的東西。
王崎感覺到了自己的狀況。他的命火只剩一線,生命垂危。但是,他手中的筆還沒有停下來。
因為他已經做好的準備、留下后手了。
王崎手上的戒指“數學”,肩膀上的肩甲“離散”依次亮起,然后,賈維斯將一篇新的法訣輸入到王崎體內。
——“因為不完備,我們永遠無法證明一個公理系統無矛盾”,這同樣是對哥德爾不完備定理的誤讀。
哥德爾不完備定理否決的,是“在一個系統的內部來證明該系統的一致性”的可能性,這個證明過程說起來復雜。但是其核心思想是運用了所謂的“自指”。
——這個陳述陳述了自己。
——這個集合包含了自己。
這也是邏輯學當中許多悖論的來源。地球的“理發師悖論”、神州的“煉丹師悖論”,歸根結底都是“一個集合究竟應不應該包括自身”的疑問所引發的。
而這一條不完備定律,是可以繞過的。
不能在系統之內證明系統的完備性,但是可以從系統之外證明。
我們不能根據系統本身證明這個系統。但是可以通過另一個系統來證明它。
王崎在五六年前就做過相關的理論研究。
正是,布爾巴基學派的思想!
從外部證明!
布爾巴基學派,本就是地球的數學界在被哥德爾不完備定理狠狠洗過之后,重新衍生出來的東西。若是按照神州的分類法,同樣屬于離宗一系。而按照布爾巴基學派理論推演出的修法。也正好能夠支撐因為不完備律而崩散的法力系統。
第(1/3)頁
主站蜘蛛池模板:
奉节县|
怀集县|
德州市|
保亭|
乌兰县|
双柏县|
墨竹工卡县|
襄汾县|
阿坝|
襄樊市|
铁力市|
白河县|
云梦县|
望都县|
蓝山县|
固阳县|
兴义市|
滁州市|
竹溪县|
庆安县|
大埔县|
天气|
五大连池市|
丰宁|
玉田县|
常熟市|
天峨县|
吉木萨尔县|
岢岚县|
莆田市|
阳新县|
松潘县|
容城县|
饶平县|
阳信县|
通山县|
毕节市|
富民县|
南木林县|
应城市|
阜新市|