第一百二十章 宣戰榜文?已閱,狗屁不通

緊接著,他又指出王崎的完備律最大的問題——一階謂詞邏輯無法準確定義任何算學上的概念,它太弱了。它的出現,反而是對離宗的抨擊——他們的證明還無法證明自己弄出來的怪物,那名為「無量」【無限】的怪物。

無法用有限語句定義的東西,通通都沒有意義,都應該切除。

「嘖嘖,這根本就是在宣戰嘛!」王崎語氣非常不爽:「這根本就是在說,‘聽說你們這幫學會用石器的猴子因為一個有趣的邏輯把戲興奮了,所以我回來踩一踩你們,讓你們看清楚現實’。」

陳由嘉在王崎耳邊輕哼:「你最近確實亢奮過頭。」

王崎這才發現自己周圍已經為了一圈人。陳由嘉和自己最近,兩個人已經靠到了呼吸可聞的地步。陳由嘉是和自己一同看完的。外圍的一拳就是以充分扶手黎正國為代表的圍觀群眾。他們大多聽過算君的大名。想看看被算君點名批評的是什麼人物。外圍則還有人在問「算君是誰」。辰風乾脆站到了遠處,因為他明白自己看不懂。

「我猜師弟你可能很需要這個,所以就直接拿過來了。」皇甫漣搖頭嘆息:「那個,神京外門有些傢伙已經炸開鍋了。你的論文連續得到算君算主完全相反的評價,對於他們來說有些刺激……還有最近說不定會有人找你麻煩,你最好避一避然後一個人靜一靜,調整下心態。」

「調整心態?有必要?」王崎覺得很奇怪。

皇甫漣指指王崎的手指:「你……明明在發抖啊?」

王崎這才注意到,從剛才開始,自己的手指尖就一直在顫抖。

這傢伙不會被來自前輩高人的壓力嚇到了吧?

周圍的人們都是如此以為的。

只有辰風喝到:「你瘋了?」

這裡只有他會讀別人的情緒,所以也只有他發現,王崎心中沒有一絲恐懼,只有戰意。

算君龐家萊期待的是一個封閉,自洽的數學體系,因此他非常排斥「無限」之類的概念……還是說應該佩服他的直覺呢?這個概念最終還是會搗破他鐘愛的那個圈子,讓算學浴火重生。他是從一開始就靠直覺感到了這一切嗎?

真是可怕的直覺啊……哈哈哈哈哈,但那又怎麼樣?

「我們必須知道,我們必將知道。」王崎喃喃著,然後收起論文,說道:「東家,我要請幾天假,最近的工錢你就看著扣吧?」

辰風憂心道:「別亂來!」

找一條這麼好用的科研狗不容易,他還沒使喚夠呢?

王崎哈哈大笑,推門而出,準備去萬法門駐地收拾一下東西。

就在這時,莫真真舉著一疊紙從小口跑了過來。他一片跑還一邊喊道:「師兄你看這……」

「已閱,狗屁不通。」

王崎大手一揮,大步向前。

……

這一章寫得有點吃力,主要是算君那對於邏輯、直覺的闡釋部分。這一部分主要借鑑了亨利·龐加萊的演講稿以及《數學恩仇錄》的部分orz,還請大神斧正。

「運用邏輯,我們證明,運用直覺,我們創造」是龐加萊的名言,而王崎最後吟詠的「我們必須知道,我們必將知道」是希爾伯特的信念。最後王崎那句評價也不是個人的狂妄,而是兩派數學家確實水火不容。龐加萊理想當中的數學是封閉的、有限的體系。他不容許「無限」這個概念進入數學——但王崎的時代,無限的研究就是數學的一部分。儘管涉及無限的邏輯好像淨是在違背常識。

所以有人擔心算君會在王崎前面證得哥德爾不完備定理——這是不可能的事情。算主那一派的人還有希望,但是算君是沒可能的。這個問題在他眼裡根本就不是一個能夠用來思考的數學問題。集合論的最大漏洞「羅素悖論」【白話一些的叫法是「理髮師悖論」】是集合論的支援者羅素搞出來的,而不是亨利·龐加萊。後者數學上的水平遠遠勝過羅素,可他根本不屑於思考這類問題。

關於「猴子」的梗——根據亨利·龐加萊死後發現的日記、手稿,他確實是將不懂數學的人當猴子看的。我想,羅素在他眼裡大概就是一直掌握了石器的高階猴子吧?

最後「已閱,狗屁不通」,三體梗,咳咳。