第(2/3)頁

    就連顯身現場聽王崎講道的那些逍遙修士，也有幾個露出了迷惘之色。

    這個少年所說的每一步，他們都可以理解。但是，這些東西湊到一起之后，究竟有什么數學意義？

    完全不明白！

    更多借助萬仙幻境收看這“直播”的今法修。則紛紛頭昏腦漲。這看似簡單的證明，似乎包含著無窮的魔力，仿佛要將他們的思維拖向一個深淵。

    馮落衣不得不嘆了口氣，以“字幕”的方式。向所有通過直播觀看的修士進行解釋。

    這個數化的過程，說白了就是“映射”。

    把算術系統中的符號、表達式和表達式的序列都映射為數——通過引進“哥德爾數”而實現了對象的數化手續。這樣處理的結果，對于數理邏輯和其他有關分支來說，在研究方法上就提供了一種數字化工具，能夠方便地把一些討論對象轉換為自然數或自然數的函數，能夠用自然數的理論來討論有關問題。

    將一個準數學的陳述轉變為一個具有數學意義的陳述。

    這就是這個“數化”的意義所在。

    而當這個證明進入第二階段的后半段時。歌庭派陣中，艾克蠻輕輕嘆息：“原始遞歸式啊……”

    他的表情當中包含著十足的惋惜與悔恨。

    ——我也研究過這個領域啊……若是我當年能夠再深入一點，會不會就能夠避免了今日的劫難？

    有幾個歌庭派的修士立刻發來私聊：“艾兄，你對這個領域有研究？能不能在這一步絆王崎一絆？”

    艾克蠻苦笑搖頭。王崎這一步并沒有做錯。他能夠將對的說成是錯的嗎？

    同時，他也下定決心，回去就仔細研究這個往日并不被重視的領域，

    當然，在場的人并不知道，這個數化的證明還有超過其本身的意義。

    它同時也是遞歸論的源泉。

    而遞歸論，正是現代邏輯學的最重要分支之一。

    到了這個地步，王崎的證明也進入了尾聲。

    王崎最后一次揮動雙手。算符排列成了不完備定理的證明。

    “這就是全部的過程。”

    全場寂靜無聲。

    算學在這一刻走向了死亡。

    “一致性與完備性不可兼得，算學無矛盾而不完備……”收看直播的許多萬法門弟子，幾乎哭了出來。

    王崎講完不完備定理的證明之后，便到講壇的邊緣靜坐片刻。今日的講道，便是分成了四個部分。前一個部分，講的乃是不完備定理，接下來的一個部分，講的則是不可判定定理。

    然后，才是提問與總結的時間。
    第(2/3)頁