190.
“對!就是用拓撲學!”程理拍手道。
然後他馬上著手在光沙上開始打草稿,沒一會就塗塗抹抹了好幾版。
在這個過程中,程理的思路越發清晰,方向在經過好幾次調整後也越發明確。
“嗯,就是這樣,這裡應該這麼處理……將地圖上不同區域用不同的點來表示……”
程理在不停的思索著,並且,整個過程中,程理並沒有感覺道自己腦海裡有跟之前一樣,靈光一閃,無數靈感閃冒的現象。
然而,這一次,就這樣水到渠成的,自然而然的被程理找到了解體的思路和方法。
前面2990層的問題,在神秘資訊的靈感影響下,對程理數學水平的凝練和提升,在這一刻發揮了神奇的效果。
半個小時後……
當程理寫下證明的最後一步,並寫下證明完成的時候,光點在螢幕上瞬間重新組合出“正確”兩個字。
看到光沙上浮現出的正確二字,程理的眼睛不由得有些溼潤了。
“我竟然成功了?”
他有些都不敢相信。
前面2990題的問題,雖然很多也都是很難,但程理知道都是地球上已經被人解決過的問題,他相當於只是站在巨人的肩膀上,佔了事先知曉答案的便利,相當於開掛。
而這是程理第一次完全憑藉自己本事,去解答一個連地球上都還沒有人解答的超難問題。
光沙上此時依然浮現著程理寫下的證明過程,程理的證明步驟一共分為21步,整個過程主要是透過邏輯和拓撲來證明,輔以少量的計算,並進行了嚴格的公理化證明。
相比地球上透過計算機來計算上百億次,進行強行解答的方法。
毫無疑問,程理現在寫下的這個證明過程,更加符合數學的美,體現了數學嚴格清晰的思路。
如果程理將這個證明過程,在地球上發表出去,絕對會引起大轟動,產生不亞於1995年費馬猜想被證明的巨大轟動。
不過現在,只有那“正確”二字,和程理靜靜分享著這份喜悅。
程理並沒有讓自己感懷多久,幾乎就十幾秒的功夫,他就徹底恢復了情緒。
他看了眼光沙右下角顯示的時間:“9999年6月14日7點57分。”
“時間已經不多了,我在這一層卡住了整整1個小時的時間,得抓緊時間了,希望後面9層的問題,可別都這麼難的,要不就完蛋了。”程理有些擔憂道。
如果後面9層都是這麼困難,而且是地球上還沒被解答的問題,那麼就算他最後都能解答,恐怕也得花上不少時間,到時候青靈島也不知道能不能撐住。
畢竟現在每多一分一秒,外面就不知道要多死多少人。
有這個緊張意識的程理,加快步伐,一路飛奔的直接衝上了第2992層!
“問,請證明出,任意一個包含自然數算術的形式系統,都存在一個命題,它在這個系統中既不能被證明為真,也不能被證明為否。”