精彩东方文学

程序員修真之路 程序員修真之路 正文 第190章 妖君威勢

作者/骷髏大白兔 看小說文學作品上精彩東方文學 http://www.nuodawy.com ,就這么定了!
    190.

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

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

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

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

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

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

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

    半個小時后……

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

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

    “我竟然成功了?”

    他有些都不敢相信。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    “證明完成。”

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

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

    現在他就是在和時間賽跑,爭分奪秒!

    還有8層!

    ……

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

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

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

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

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

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

    他們可以越戰越強!

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

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

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

    但是!

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

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

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

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

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

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

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

    “玄雷九落!”

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

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

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

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

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

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

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

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

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

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

    妖君威勢,當是無比恐怖!

    “你值得我出手。”

【精彩東方文學 www.nuodawy.com】 提供武動乾坤等作品手打文字版最新章節首發,txt電子書格式免費下載歡迎注冊收藏
百度風云榜小說:劍來 一念永恒 圣墟 永夜君王 龍王傳說 太古神王 我真是大明星 校花的貼身高手 真武世界 劍王朝
Copyright © 2002-2018 http://www.nuodawy.com 精彩東方文學 All Rights Reserved.
小說手打文字版來自網絡收集,喜歡本書請加入書架,方便閱讀。
主站蜘蛛池模板: 双牌县| 湘乡市| 连云港市| 耿马| 昌江| 株洲市| 阳曲县| 衡南县| 阿合奇县| 奈曼旗| 金昌市| 沁水县| 柞水县| 鲁甸县| 扶沟县| 余干县| 呼玛县| 庆城县| 新竹市| 武陟县| 廉江市| 婺源县| 大埔县| 特克斯县| 邳州市| 包头市| 大方县| 洞头县| 阿城市| 泰州市| 商都县| 绵阳市| 上犹县| 黑水县| 南平市| 怀安县| 阳信县| 望奎县| 荣昌县| 大港区| 昌乐县|