第(2/3)頁(yè)

    王崎如此想到。

    得學(xué)好這一塊，才能心安。

    倒不是說(shuō)他覺(jué)得算君真的會(huì)用算學(xué)手段之外的方式加害自己，更不寄希望于自己能夠在可預(yù)期的時(shí)間內(nèi)反超算君。

    只不過(guò)是堵上一個(gè)有可能的漏洞而已。

    “而且，為自己的虛相功體，尋回一個(gè)堅(jiān)實(shí)的基礎(chǔ)，也是很重要的。”、

    王崎對(duì)自己打氣道，然后看向靜室之中的另外兩人。

    趙清潭和魏滄，都算是編寫(xiě)《原算》的主力了。

    “我們下一個(gè)階段的任務(wù)，就是接著研究結(jié)構(gòu)。前面幾本‘原算’，我們算是立起‘結(jié)構(gòu)’這個(gè)牌子了。但是，這還不算完，我們需要繼續(xù)深入下去。”

    趙清潭皺眉：“還是純粹算學(xué)？可你不是說(shuō)救命要緊……”

    “沒(méi)有這一步，我怎么自救啊！”王崎攤手：“趙師兄啊，我昨天說(shuō)得很清楚了吧？”

    “是，我明白了。”趙清潭微微嘆息。

    “還是說(shuō)結(jié)構(gòu)好了。我們的‘結(jié)構(gòu)’，還是一個(gè)新生的概念，但是，還不夠有力量——我認(rèn)為它是有力量的。它應(yīng)該可以改變所有萬(wàn)法門(mén)弟子的思考方式。”

    王崎當(dāng)初提出不完備定理，幾乎毀了半個(gè)萬(wàn)法門(mén)。

    但是，為什么只是半個(gè)？為什么在算主如日中天、離宗多于連宗的情況下，依舊只有“半個(gè)”？

    因?yàn)椋壿嫞鋵?shí)和算學(xué)的整體，不是那么密切。

    或者說(shuō)，只有邏輯學(xué)家，才會(huì)關(guān)系邏輯本身。更多的算家，其實(shí)并不關(guān)心邏輯。邏輯有矛盾就有矛盾，也并不影響任何算學(xué)的實(shí)際證明。

    之所以有很多修士道心失守，還是因?yàn)樗阒髂恰皩ふ业剿銓W(xué)統(tǒng)一根基”的美麗圖景太過(guò)誘人，導(dǎo)致很多人都堅(jiān)信這一點(diǎn)罷了。

    就好像原子理論并不會(huì)影響正常人對(duì)宏觀事物的感知一下，萬(wàn)法門(mén)弟子在數(shù)數(shù)的時(shí)候，也不會(huì)將自然數(shù)想象成“等勢(shì)集合的類(lèi)”。

    甚至還有很多算學(xué)家覺(jué)得，不完備，不相容，都只是“邏輯”與“集合”本身問(wèn)題，而不是算學(xué)的問(wèn)題。

    算君就是這種思想的代表。算主踐行他的理想時(shí)，算君就完全不在意，似乎成與不成都沒(méi)關(guān)系。

    不完備與不相容本身也有這種傾向——問(wèn)題只是邏輯的問(wèn)題，而不是算學(xué)本身的問(wèn)題。

    它們看上去更像是算主道路上的攔路虎。

    集合論帶個(gè)萬(wàn)法門(mén)的好處，似乎只有“統(tǒng)一的、方便表述各種抽象概念的語(yǔ)言”這一類(lèi)。

    而“結(jié)構(gòu)”這是另一個(gè)層面的事情了。

    布爾巴基學(xué)派宣稱“結(jié)構(gòu)”是“數(shù)學(xué)家使用的數(shù)學(xué)基礎(chǔ)”【而非“邏輯學(xué)家使用的數(shù)學(xué)基礎(chǔ)”】他們從另一條路上出發(fā)，去統(tǒng)一整個(gè)數(shù)學(xué)領(lǐng)域。

    在布爾巴基學(xué)派之前，“結(jié)構(gòu)”這個(gè)概念就已經(jīng)存在。他們只不過(guò)是像希爾伯特希望用康托爾的集合論統(tǒng)治數(shù)學(xué)世界一樣，指出“結(jié)構(gòu)”這個(gè)概念可以用作“統(tǒng)合”。這個(gè)方法取得了巨大的成功，因?yàn)樵诘厍颍恍枰獦O少數(shù)的“母結(jié)構(gòu)”，就能討論大量典型有有趣的例子。

    布爾巴基學(xué)派甚至影響了數(shù)學(xué)的學(xué)科劃分。數(shù)學(xué)不再像古典時(shí)期那樣，分成算術(shù)、代數(shù)、幾何、分析幾個(gè)大類(lèi)，而是出現(xiàn)了“拓?fù)浯鷶?shù)”、“代數(shù)幾何”這樣的分類(lèi)。

    這個(gè)基礎(chǔ)是能夠改變世界的。
    第(2/3)頁(yè)