190.

　　“對！就是用拓撲學！”程理拍手道。

　　然后他馬上著手在光沙上開始打草稿，沒一會就涂涂抹抹了好幾版。

　　在這個過程中，程理的思路越發清晰，方向在經過好幾次調整后也越發明確。

　　“嗯，就是這樣，這里應該這么處理……將地圖上不同區域用不同的點來表示……”

　　程理在不停的思索著，并且，整個過程中，程理并沒有感覺道自己腦海里有跟之前一樣，靈光一閃，無數靈感閃冒的現象。

　　然而，這一次，就這樣水到渠成的，自然而然的被程理找到了解體的思路和方法。

　　前面2990層的問題，在神秘資訊的靈感影響下，對程理數學水平的凝練和提升，在這一刻發揮了神奇的效果。

　　半個小時后……

　　當程理寫下證明的最后一步，并寫下證明完成的時候，光點在屏幕上瞬間重新組合出“正確”兩個字。

　　看到光沙上浮現出的正確二字，程理的眼睛不由得有些濕潤了。

　　“我竟然成功了？”

　　他有些都不敢相信。

　　前面2990題的問題，雖然很多也都是很難，但程理知道都是地球上已經被人解決過的問題，他相當于只是站在巨人的肩膀上，占了事先知曉答案的便利，相當于開掛。

　　而這是程理第一次完全憑借自己本事，去解答一個連地球上都還沒有人解答的超難問題。

　　光沙上此時依然浮現著程理寫下的證明過程，程理的證明步驟一共分為21步，整個過程主要是通過邏輯和拓撲來證明，輔以少量的計算，并進行了嚴格的公理化證明。

　　相比地球上通過計算機來計算上百億次，進行強行解答的方法。

　　毫無疑問，程理現在寫下的這個證明過程，更加符合數學的美，體現了數學嚴格清晰的思路。

　　如果程理將這個證明過程，在地球上發表出去，絕對會引起大轟動，產生不亞于1995年費馬猜想被證明的巨大轟動。

　　不過現在，只有那“正確”二字，和程理靜靜分享著這份喜悅。

　　程理并沒有讓自己感懷多久，幾乎就十幾秒的功夫，他就徹底恢復了情緒。

　　他看了眼光沙右下角顯示的時間：“9999年6月14日7點57分。”

　　“時間已經不多了，我在這一層卡住了整整1個小時的時間，得抓緊時間了，希望后面9層的問題，可別都這么難的，要不就完蛋了。”程理有些擔憂道。

　　如果后面9層都是這么困難，而且是地球上還沒被解答的問題，那么就算他最后都能解答，恐怕也得花上不少時間，到時候青靈島也不知道能不能撐住。

　　畢竟現在每多一分一秒，外面就不知道要多死多少人。

　　有這個緊張意識的程理，加快步伐，一路飛奔的直接沖上了第2992層！

　　“問，請證明出，任意一個包含自然數算術的形式系統，都存在一個命題，它在這個系統中既不能被證明為真，也不能被證明為否。”

　　程理看到這個問題后，才松了一口氣。

　　這個問題并非不難，事實上，它在數學史上的地位至關重要，是涉及到數學最基礎的討論。

　　這個問題就是著名的“哥德爾不完全性定理”。

　　實際上，在前面幾層中，就出現過一些跟哥德爾不完全性定理有關聯的問題，不過那都不是哥德爾不完全性定理本身的證明問題。

　　哥德爾不完全性定理，是某種否定性的結果，但這項否定性的結構卻帶來了數學基礎研究劃時代的變革。

　　因為哥德爾不完全性定理，破天荒的第一次分清了數學中“真”與“可證”是完全兩種不同的概念。

　　還有就是，哥德爾在不完全性定理的證明過程中提出了“原始遞歸函數”的概念，成為算法理論的起點，為后來的電子計算機研制，提供了理論基礎。

　　這樣一道至關重要的問題，被放到2992層，也是合情合理。

　　但實際上，哥德爾不完全性定理的證明過程卻不算太過于復雜，他更超前的是思想層面上的解放。

　　所以早就知曉這道題證明過程的程理，這道題并不算太困難。

　　只見程理沒有耽擱一分一秒時間，在看到問題后，就徑直上前唰唰唰的寫下答案。

　　“首先設定好內定理和元定理……

　　“然后這里用哥德爾編碼……

　　“再用不動點定理去證明……

　　“最后就構造了一個公式，它‘說它自己是不可證’。這個公式為真，但不可證……”

　　“證明完成。”

　　程理行云流水的在光沙上寫下了一整串證明過程，最后當證明完成這四個字寫好后。光沙上就再次浮現出“正確”二字。

　　然而程理幾乎在一瞬間就沖了出去，往2993層沖了過去。

　　現在他就是在和時間賽跑，爭分奪秒！

　　還有8層！

　　……

　　就在程理拼命追趕時間的時候。

　　青靈島上的血腥大戰，已經進入了白熱化階段。

　　在青靈島上空，此時幾乎成了一片血液的海洋。

　　一部分是無數血妖被打爆后，爆開的血霧。

　　另外很大一部分是青靈島這邊，修真者被擊殺后，灑落出的鮮血，混雜在血霧中，竟然還被吸收了。

　　這就是血妖島在戰爭中無比強大的一部分原因所在。

　　他們可以越戰越強！

　　戰場上的死亡者越多，血霧越濃厚，存活下來還在戰斗的血妖就會越強！

　　而那上千道血色瀑布更是從血池上，依然在源源不斷的灌在護島大陣上。

　　場面對青靈島來說，是極為不利的。

　　但是！

　　在戰場上的核心處，卻有點不太一樣。

　　此時戰場的焦點，也正是在這里。

　　原本和一名妖王廝殺的拓木真人，此時他的靈甲右手上，已經抓著那名妖王滴落鮮血的腦袋。

　　而在拓木真人周圍，有三名妖王正圍著他，展開最激烈的猛攻！

　　“哈哈，三名妖王，你們覺得這樣就能擊敗我嗎？！太天真了，還是趕緊把你們妖君叫出來吧！你們三個還不夠看！”

　　拓木真人整個靈甲，散發無邊氣勢，整個人戰意凜然，越戰越勇，竟然在以一敵三的情況下，還感覺在壓制對方三個！

　　暮然間，拓木真人抓住一個一閃即逝的空檔，手上一掐決，一道雷引劈出。

　　“玄雷九落！”

　　這是拓木真人最強大的雷法，雷法本就對血妖這樣的至陰修法具有克制效果。

　　在拓木真人這道法術激發后，九道蘊含毀滅氣息的玄雷，就這樣悄無聲息的從那三名妖王頭頂劈落。

　　有兩名妖王，祭出自己最強大的法寶進行抵抗，勉強扛了下來。

　　但另外有一名妖王，卻因為拓木真人的刻意干擾，沒來得祭出法寶，竟然直接就被這道玄雷，給直接就這樣硬生生給劈爆了！

　　要知道，這可是一名妖王！堪比元嬰期修真者的存在！

　　居然就這樣被拓木真人再次斬落！

　　而就在這個時候，從血池上傳來一股讓人無比恐懼的波動。

　　上前道血色瀑布，也不再從血池上落下。

　　下一秒，一道高達千米的血色光影，從血池上展開，然后所有人就看到一道至邪的鬼魅身影，在空中踏著血蓮，就這樣一步一步的朝著拓木真人走來。

　　戰場上所有人和妖，在這一刻，都被這讓人絕望的恐怖威能下，給完全震懾住。原本在激烈廝殺的戰場，竟然同時出現了一絲絲的停滯。

　　妖君威勢，當是無比恐怖！

　　“你值得我出手。”

　　：。：


　　(https://www.dzxsw.cc/book/100940/5423051.html)


1秒記住大眾小說網：www.dzxsw.cc。手機版閱讀網址：m.dzxsw.cc