“這位是伊蕾亞·亨莉葉塔，莫斯科大學(xué)學(xué)生，是我的Sweetheart。”

    盧格安此言一出，眾人看向伊蕾亞的眼神頓時(shí)變得曖昧起來，紛紛露出意味深長的微笑。有好事者，甚至吹起了口哨。

    看熱鬧嘛，人類四大本源之一。

    而站在盧格安身旁的伊蕾亞，臉色瞬間一黑，沒好氣地橫了盧格安一眼。

    她敢肯定，盧格安這絕對不是什么愛的宣言。這個(gè)惡趣味的男人單純就是為了報(bào)復(fù)她，想看她熱鬧罷了！

    盧格安轉(zhuǎn)頭對伊蕾亞眨眨眼睛，眼神中滿是笑意，完全無視了伊蕾亞殺意騰騰的視線，用理所當(dāng)然的語氣吩咐道：“Sweetheart，把資料分給各位老師吧。”

    如果視線能殺人，恐怕盧格安現(xiàn)在已經(jīng)被伊蕾亞碎尸萬端了。

    伊蕾亞深吸一口氣，強(qiáng)行平復(fù)下情緒，很快便找回了往日鎮(zhèn)定的狀態(tài)。

    只見伊蕾亞眨眨眼睛，對盧格安嫵媚一笑：“當(dāng)然可以了，darling~~~”

    伊蕾亞這番話的語氣極盡溫柔，完全沒有往日里冰山的樣子。

    尤其是最后一句“darling”，語調(diào)百轉(zhuǎn)千回，噬髓入骨，讓盧格安忍不住打了個(gè)寒戰(zhàn)，胳膊上直冒雞皮疙瘩。

    女孩“溫婉如水”地沖盧格安微微一笑，隨后便抱著那沓資料款款而去。

    看著女孩窈窕婀娜的背影，盧格安搖頭失笑。

    這才是伊蕾亞啊……不肯吃虧，瑕疵必報(bào)。

    不過也正因?yàn)槿绱?，伊蕾亞之前緊張的情緒也隨之蕩然無存，這才是盧格安的目的。

    很快，每位教授手里都多出了一本厚厚的論文。

    希爾伯特在接到這本多達(dá)173頁的論文時(shí)，表情先是有些詫異，但在他掃了一眼論文的標(biāo)題后，又變成了深深的皺眉。

    一點(diǎn)淡淡的不詳感頓時(shí)出現(xiàn)在希爾伯特心頭。

    就在伊蕾亞給教授們發(fā)&論文的時(shí)候，盧格安也沒閑著，他轉(zhuǎn)身在黑板上寫下了他今天的主題，也是論文的標(biāo)題。

    《OnformallyundecidablepropositionsofPrincipiaMathematicaandrelatedsystems》

    （譯：關(guān)于數(shù)學(xué)原理及相關(guān)系統(tǒng)的形式不可判定命題。）

    等到伊蕾亞重新回到講臺，盧格安沖她點(diǎn)頭笑笑。

    接著，盧格安闔上眼睛，深吸一口氣。

    再次睜開眼時(shí)，只見盧格安那招牌式的笑容已然消失，一股學(xué)術(shù)權(quán)威的威嚴(yán)氣質(zhì)由內(nèi)而外緩緩散發(fā)出來！

    擁有這種氣質(zhì)的人，無不是對自己所學(xué)極有自信，并有著堅(jiān)定信仰的人！

    而盧格安身旁的伊蕾亞，無疑對這個(gè)細(xì)微的變化感受最為清晰。

    她看著身旁那個(gè)好像換了個(gè)人一樣的德國青年，內(nèi)心微微震動。

    那一瞬間，盧格安身上那似曾相識的氣質(zhì)，甚至一度讓她想起了自己的老師——列夫·達(dá)維多維奇·朗道！

    這一刻，教室里莫名多出一股壓抑的空氣，仿佛臺上站的是一位幾十年的老教授一般。

    有些教授驚訝的對視一眼，心中對盧格安的評價(jià)，默默調(diào)高了幾個(gè)檔次。

    盧格安環(huán)顧一圈教室，清了清嗓子。

    “我相信各位教授能聚集在這里，無不是因?yàn)橄嘈抛C明論計(jì)劃，相信它一定會成功，并帶領(lǐng)數(shù)學(xué)界進(jìn)入全新的世界。”

    聽到這，不少教授都是點(diǎn)點(diǎn)頭，表示對盧格安這番話的認(rèn)同。

    雖然他們平日里吵得不可開交，但歸根結(jié)底，他們最終的目標(biāo)都是一樣的：即完美地構(gòu)建出證明論計(jì)劃！

    看著臺下深以為然的諸位教授，盧格安面無表情地繼續(xù)道：“證明論計(jì)劃的目的無疑是偉大的。把所有的數(shù)學(xué)理論全都用一種形式語言來描述，以后也不用費(fèi)腦子證明了，直接扔給機(jī)器窮舉，一噸噸的數(shù)學(xué)定理就造出來了?！?br/>
    說到這，盧格安頓了頓，嘆了口氣。

    “但是我很遺憾地告訴大家，證明論計(jì)劃是絕對不可能完成的！”

    盧格安擲地有聲的一句話，讓本就安靜的教室里空氣瞬間變得極為壓抑！

    所有教授都沉著個(gè)臉，眼神不善地看著盧格安。

    從他們的表情可以看出，他們對于臺上這個(gè)信口雌黃的小子非常不滿！

    另一邊，站在盧格安身旁的伊蕾亞，頗為頭疼地按著太陽穴，無奈地?fù)u頭嘆息。

    不是告訴他說話要委婉一點(diǎn)了嗎？

    說話這么直，在她老家可是要被一群壯漢圍起來揍的！

    還是說，這就是德意志最年輕物理學(xué)碩士的底氣？

    臺上，毫無自覺的盧格安云淡風(fēng)輕地站在那里，絲毫沒有被教授們殺人般的視線所影響。

    “海因里希，解釋一下。”希爾伯特沉著臉，聲音低沉地說道。

    “可以。”盧格安點(diǎn)點(diǎn)頭，不急不緩地說道：“因?yàn)槲抑挥邪雮€(gè)小時(shí)時(shí)間，所以我簡短點(diǎn)說……”

    “夠了，海因里希?！毕柌睾谥?，沒好氣地瞪著盧格安：“忘掉那個(gè)該死的半小時(shí)吧！把你的想法說清楚！”

    “遵命，希爾伯特教授?！?br/>
    一抹不可察覺的笑容，在盧格安臉上一閃而逝。

    說到瑕疵必報(bào)，盧格安可是比伊蕾亞還要“小肚雞腸”呢。

    沒錯(cuò)，歡迎會上的事情，一直被盧格安記到現(xiàn)在，從未忘卻……

    “那么，就讓我說的詳細(xì)一點(diǎn)，請大家翻開論文第一頁，這里有一個(gè)簡短的證明。”

    說著，盧格安對伊蕾亞點(diǎn)點(diǎn)頭。

    接到信號的伊蕾亞，轉(zhuǎn)身在黑板上，寫下了兩個(gè)單詞——《BerryParadox》。

    貝里悖論？

    在場眾多教授看到這個(gè)詞組，均是面露茫然，哪怕是見多識廣的希爾伯特也是緊皺眉頭，不知其然。

    “這是一個(gè)相當(dāng)冷門的語意悖論，我們大概可以舉一個(gè)例子：第一個(gè)不能由小于六十個(gè)英文單詞定義的正整數(shù)。這就是一個(gè)典型的貝里悖論。”

    顯然，這個(gè)數(shù)是存在的。

    因?yàn)橛⑽膯卧~只有有限個(gè)，能由小于六十個(gè)英文單詞定義的正整數(shù)也只能有有限個(gè)，所以一定有一個(gè)正整數(shù)不能被這樣定義。

    然而這個(gè)數(shù)反而可以通過“第一個(gè)不能由小于六十個(gè)英文單詞定義的正整數(shù)”來定義，故而產(chǎn)生悖論。

    一個(gè)相當(dāng)簡單的語意悖論，在場諸多教授稍微一思考，便理解了這個(gè)悖論。

    但是他們卻仍想不明白，為什么盧格安要提起這個(gè)不起眼的悖論。

    看著眾人疑惑的表情，盧格安嘴角勾起一個(gè)莫名的笑容。

    “貝里悖論和說謊者悖論一樣，這也是個(gè)由自指引發(fā)的矛盾。

    但是，我認(rèn)為構(gòu)造這個(gè)悖論背后的思想有一定的啟發(fā)性。

    那就是用任何一個(gè)只含有有限個(gè)字符的語言，在限制字符串長度的情況下，它可以嚴(yán)謹(jǐn)描述的物件數(shù)量是有限的。故而任何一個(gè)這樣的語言通過有限長度的句子可以描述的物件數(shù)量最多和自然數(shù)一樣多?！?br/>
    隨著盧格安說出這個(gè)結(jié)論，教室里鴉雀無聲，所有人都好像看傻子一樣看著他。

    一名邏輯學(xué)教授忍不住吐槽道：“這不是一句廢話嗎？”

    “沒錯(cuò)，這就是一句廢話。”盧格安認(rèn)同地點(diǎn)點(diǎn)頭。

    “……”

    一眾教授腦門泛出幾條黑線。

    你擱這兒擱這兒呢？

    就當(dāng)眾人想要把盧格安轟下臺時(shí)，盧格安卻突然說道：“這是一句廢話，但也是一句有用的廢話。因?yàn)檫@個(gè)事實(shí)直接證明了一個(gè)定理。”

    說著，盧格安對伊蕾亞點(diǎn)點(diǎn)頭。

    伊蕾亞轉(zhuǎn)身在黑板上畫下一個(gè)優(yōu)美的無窮符號。

    “首先，我們可以知道，世界上一定存在一個(gè)不可計(jì)算的實(shí)數(shù)?！?br/>
    盧格安伸出一根手指，接著推理道：“同樣的，我們也可以輕易證明：必定存在一個(gè)函數(shù)f=N→N，使得不存在一個(gè)算法可以在有限時(shí)間內(nèi)計(jì)算f的值?！?br/>
    說罷，盧格安伸出了第二根手指。

    “最后，也是最重要的一點(diǎn)是：如果我把一個(gè)有限的公理系統(tǒng)作為我的語言，那么就只存在可數(shù)個(gè)證明。

    當(dāng)然，我們也只能在公理系統(tǒng)中構(gòu)造出可數(shù)個(gè)問題。然而，有可數(shù)個(gè)證明是否可以解決所有這些問題呢？”

    在盧格安伸出第三根手指的同時(shí)，伊蕾亞也放下手中的粉筆。

    此時(shí)，黑板上已經(jīng)被娟秀整齊的英文小字所覆蓋。盧格安負(fù)責(zé)說結(jié)論，而伊蕾亞負(fù)責(zé)書寫具體過程，這就是兩人事先劃分下的職責(zé)。

    看著黑板上密密麻麻的推理過程，在場所有教授紛紛陷入了沉默。

    他們的大腦正在急速運(yùn)轉(zhuǎn)，試圖尋找出推理的邏輯漏洞。有的教授甚至拿出筆紙，滿頭大汗地推算起來。

    這其中，只有希爾伯特一個(gè)人沒有試圖去推演那些邏輯。

    因?yàn)樗?，盧格安既然敢把這套邏輯拿出來，就一定是能禁得住考驗(yàn)的。

    他真正在思考的，則是盧格安最后提出的那個(gè)問題：有可數(shù)個(gè)證明是否可以解決所有這些問題？

    隱隱的，他感覺自己好像看到了什么，但又好像什么也沒看到。

    相對論，無處不在……

    在這些教授還在埋頭消化這三套邏輯證明時(shí)，伊蕾亞悄悄挪步到盧格安身后，伸手精準(zhǔn)地掐住了盧格安腰間的軟&肉。

    嘶~~~

    前一秒還云淡風(fēng)輕，自信傲然的德國青年，表情瞬間扭曲起來。

    盧格安強(qiáng)撐著笑容，轉(zhuǎn)過身，將伊蕾亞一把抱住。咬著牙，在她耳邊小聲斥問道：“瘋女人，你在干什么？”

    “當(dāng)然是幫我們偉大的盧爾尼雪夫斯基先生清醒一下咯?！?br/>
    伊蕾亞抿嘴微笑，翻手抱住盧格安，踮起腳，將下巴點(diǎn)在盧格安的肩膀上，在他耳旁如是輕語道。

    值得一提的是，這期間伊蕾亞掐在盧格安腰間的手從未放開過……

    ，