——第三次數學危機,集合論的自我指涉引發的矛盾。
王崎閉上眼睛,在這裡停頓了一下。然後,他堅定的,毅然決然的說出了自己的想法:“只有少數思想落後的人仍堅持這樣的立場:算學家必須依靠他的‘直覺’來得出新的‘非邏輯的’或‘前邏輯的’推理要素。如果某些算學分支還沒有公理化,也就是還原成這樣的陳述方式,其中所有名詞都用集合論的基本概念來定義,所有公理都用集合論的原始概念明顯表示出來,那只是還沒有足夠的時間讓我們這麼幹。當然,很有可能有朝一日我們的後代會要求把我們所不允許的推理方式引進集合論,甚至很有可能以後用我們現在所用的推理模式發現今天我們還沒有看出的矛盾的萌芽,雖然近代邏輯學家的工作說明這種情況出現的可能性很小很小。到那時,就需要進行一次普遍的修正,不過即使現在我們也能肯定算學中最本質的要素也不會受到影響。”
只聽到第一句話,包括算君在內的所有少黎派修士都勃然色變。
王崎這便是相當於指著他們的鼻子開罵!
但是,王崎一定要這麼說。
這就是他後續思想的鋪墊。
“他到底還是離宗弟子……”若澈仙子臉上浮現出複雜的表情,不只是欣慰還是怨恨。
“即使在二十三問的問題中,仍然有幾個問題離我們很遙遠,雖說它們還不是不可達到的目標,它們或許繼續給不止一代人提供研究課題,其中第五個關於李群的問題就是一個例子……”
“黎曼猜想,在人們放棄用變天式的方法證明它的打算之後,現在似乎出現了新光明。它表明它與某個變天式的猜想密切相關,這樣一來使得這兩個問題成為同一算術—代數問題的兩個方面,而對這個問題,對於給定數域同時研究其所有分圓擴張無疑起著決定性的作用……”
“……算王高嗣的算術集中在二次互反律的周圍;現在我們知道,二次互反律只不過是‘類域’諸定律的頭一個特例,而這些定律是決定代數數域的阿氏擴張的定理,我們也知道怎樣表述這些定律使得它們看起來是一個緊湊的整體……”
一個個問題被提出。諸多算家都不傻。他們肯快意識到,這是一個成熟的思想體系。
既包括離宗的那些邏輯、形式化,也有連宗的代表的低維拓撲、代數拓撲。隱約之間,還有一些更在其之上的東西。
何外爾的眼神熱切起來。
“這個王崎,求的果然是算學的涅槃!”
第二百四十二章 昨日今日
“儘管圖靈真人已經用‘大道之器’的比喻來否決了‘大道聖音’的無所不能,所以這裡提出這個比喻很奇怪。但是,今日,我仍舊要說——我們依舊可以相信,自己終有一日可以直面大道,聆聽真音。”
“如果有人譴責我們態度高傲,如果有人勒令我們去盡人倫義務而放棄仙道之求索,如果有人問我們為什麼非得頑固地堅持在冰川凍土之上,而除了我們的同道就沒有人能夠在這裡生存下去,那我們可以挺起胸膛,高聲回應——為吾道長存!”
王崎以激昂的語調,結束了這一次宣講。
依舊是無人鼓掌。但是,很多人依舊沉浸在王崎剛才的講演之中。
如果說,不完備和不可判定,是對原有體系的破壞,那麼,王崎的這一番演講,就是在破壞之上的重建。
他提出在“不完備”和“不可判定”兩重限制之下,神州算學還有可能突破的方向,並且附上了詳實的思路。
他在摧毀了萬法門的信心之後,再告訴萬法門的其他修士,他們應該往哪個方向努力,算學接下來應該如何發展。
每個人都能夠根據自己的見識,對於“發展”發表自己的意見。但是,不