第414章 我想不需要在證明了。
在座的所有人中,估計加斯教授是對反推數學,最有發言權的。
通常的數學,大致是從公理到定理的研究,而反推數學則是從定理到公理的研究,二者正好方向相反。
舉一個例子。
如果知道x=3這一條件,那麼我們可以推出x的二次方等9,這就是通常的數學。
但是如果我們知道x的二次方=9,而要問什麼條件可以保證這個結論成立的話,那麼選擇可就多了,X=3可以,X-3可以,x+1=4,X-1=2等等也都可以。
這就是反推數學,但運用在這道世紀難題上,卻是恰到好處!
加斯教授已經可以肯定,這道困擾了英國了一輩子的世紀難顥,將在今天,被這個少年解答出來……而且,隨之而來的還有一個猜想和一個以他名寶命名的定理。
一想到這,加斯教授的身子不由得晃了晃……
撲通!
加斯教授一屁股坐在了美國隊的椅子上,而後怔怔發神。
以自己名字命名的定理。
這是世界上,又有多少人能夠做到…數學歷史的長河中,又有幾個這樣的天才?
可以說,隨著時代的推講,數學很多的公式,已經被先人所證明……而現如今在數學普及的今天,能證明出一個定理來,這種難度無疑比獲得菲爾茨獎還要難。
菲爾茨獎一年頒一位,而定理,一年卻都不一定出得了一個。
如果李岩今天證明出這道題,那數學界又將多一個定理,一個以他名字命名的一一李岩定理。
但他顯然不知道,之前李岩已經證明了一個五色猜想,也就是說,李岩已經有了一個定理。
這是第二個。
一年兩個,這種成就,放在當仝數學界,絕對是絕無僅有的佼佼者。
「好了……解答完畢!」
李岩唰的寫下了最後一句話:「如圖同理,對於所有的M項頂圖,包含k個頂的團或1個頂的獨立集。具有這樣性質的最小自然數就稱為一個拉姆齊數,記作R(k、1),而R(3,3)=6!」
下一秒鐘,全場全部沸騰。
劉老高舉著雙手,振臂高呼,「李岩一」
「好樣的,太厲害了!」
「我竟然有一種流淚的感覺!」
「我現在很慶幸,我是一個華夏人,而不是一個老外!」
叫聲,吼聲,喊聲,接連爆起。
老百姓們太激動了啊,在自己家門口前,一個小孩子,居然讓這麼多老外難堪。
他們見證到了這奇迹的一刻,心裏面的興奮就不要提了,甚至還雜著很多感動的情緒,那些數學公式他們或許看不懂,一個字都不明白,可是不代表他們不知道這個世界數學難題意味著什麼!
那些媒體記者們也一樣,全無法自已,一邊拍照記錄著這神聖的一幕,一邊大聲叫著好,這可是自己國家的榮譽啊,這可是自己國家的人解開的啊!
以後的國際數學界,誰還敢小看他們華夏的數學水平?
「不可能的……這怎麼可能?」
「他怎麼能解開這道世紀難題……我們國家這麼多數學家都解不出來、一個7歲的孩子,居然做出來了?」
英國的女教授死都不相信,在那歇斯底里的吼著。
巨大的落差、讓她的臉色都有些扭曲起來。
看著周圍的群情激奮,加斯教授卻是站了起來,突然插話喊道,「等一下!」
日本的佐藤教授也道,「還不一定成立呢,這只是一種猜想、解顥步驟沒錯,也不能證明這個猜想沒錯……」
「是啊,數學是一門嚴謹的學科,還請大家冷靜……」
場面這才安靜了下來。
不過遊客里有個大姐,聽完旁邊一個大學生翻譯出來了那幾個人的話,登時瞪了那倆老外一眼珠子,「放屁,都寫出來了還有什麼不成立的?
一男遊客叫道,「對,肯定沒回題!」
女遊客道,「沒錯,李岩大神肯定錯不了!」
作為華夏的老百姓,當然有一種強烈的信念,信任自己國家的人肯定是把這個猜想給解決了。
更何況李岩之前的事迹,那可比這厲害多了,所以沒有一個人不相信。
但是作為華夏的數學家們,此時卻必須要秉持嚴謹的作風,這是對數學的尊重,也是對科學的熱愛……劉半學已經把華夏反推數學最強的一個教授喊了過來。
「張老,你快看下,李岩的這種解法,有問題么?」
劉老迫不及待的說著,張老卻是看了眼一旁的加斯教授道,「加斯博士在數理邏輯領域,是這方面的權威,不知道你是什麼看法?」
「嗯?」
加斯教授愣了愣,隨後瓮聲瓮氣道;「我沒什麼看法……雖然這道題運用了反推數學,但猜想結論的最小數6,這還沒確定呢!」
加斯教授只好咬了咬牙,顧左右而言他……
張老卻是搖了搖頭,在那道,「拋開最小數6,如果李岩的清想是正確的,那這證明的方法,步驟開疑是沒有問題的…」
這道英國的世紀難題,解顥步驟很簡單,就只有一面黑板。
因為最難點就在最小數上,只要證明出了最小數,下面的證明,也相對來說變得簡單很多。
所以張老只是看了眼,就已經看出,李岩的證明過程沒有疏漏。
他問加斯,也是想要噁心下這傢伙。
不過加斯在數理謬輯方面,確實是有很深的硏究,回他這道題的正確性,也在情理之中但加斯卻是氣的牙痒痒,在他看來,張老是在打他臉啊!
你特碼的自己都看出沒問題了,還來回我?!
「等等一-」
英國那個女教授也在一旁叫了起來;「最小數這個問題,是我們這道猜想的前提,所以哪怕解顥步驟正確,但是我想要知道,他是怎麼知道最小數是0.36的……」
問題又回到了關鍵點上。
英國女教授和張老等人,也看著李岩。
李岩很無奈,在那聳了聳肩道,「哎,我本來想減少點步驟,這下子,又要搬來幾面大黑板了……」
這句話說出,所有人都樂了。
合著你這是減少了很多證明步驟啊…