XX主任陪著王一男走了進來,現場立刻響起了雷鳴般的掌聲,抬手示意大夥安靜一下,XX主任說,“我們有幸邀請到來自華國的王一男教授,本屆諾貝爾物理學和化學獎的獲得者,給大家做一堂講座”。
停頓了幾秒鐘之後,這位主任接著說,“我們商量了很久,最後決定今天既不給大家講分子機器,這是諾貝爾化學獎的成果,也不給大家講晶格頻率、高溫超導,這是諾貝爾物理學獎的成果”,不得不說這位主任還是挺會夸人的,雖然說不講,但是該捧的地方,可一點都不少。
“今天給大家講的是王一男教授跟偉大的格羅騰迪克先生合作完成的另外一項,我個人認為更加偉大的成果”,XX主任對著臺下,“告訴我,是什麼?”,
“G不可描述定理”,臺下異口同聲的說,CERN的科學素養,那可是沒的說。
“好吧,大家肯定看我這個老頭子應該已經厭倦了,是時候把舞臺讓給年輕人了”,XX主任一語雙關的說,看起來謠傳他要退休的說法,不是空穴來風啊,
“下面,有請來自華國的,王一男教授”。
王一男站上講臺的時候,還是有點忐忑的,雖然《G不可描述定理》是一個數學定理,但是這個定理在哲學還有認知科學上的含義遠遠超過了數學本身,在歐羅巴這樣充滿了宗教傳統的地方,信口開河是很容易拉仇恨的,在這個節骨眼上,王一男可不想弄出點什麼奇怪的事情來。
搖搖頭,這種問題想也沒用,儘可能注意吧,“這個定理其實更多的來自格羅騰迪克先生”,王一男說,
“我們知道,形式化系統是人類手裡最強大的武器,抽象能力也是自然界賦予我們最強大的能力之一”,
“當原始人類從一塊石頭,兩塊石頭,抽象出一和二概念的時候,人類就註定要成為整個藍星的主宰”。
“過去幾個世紀科技的發展,充分證明了我們這種抽象能力的強大,也證明形式化系統所具有的巨大的表達能力,以至於讓我們覺得,利用形式化系統,我們可以描述和解決一切問題”。
“想不到這個時候的王一男教授,這麼有魅力”,拿著話筒的華國電視臺女主持人,看著王一男在講臺上侃侃而談,兩眼忍不住冒出了小星星。
“廢話,我男人肯定什麼時候都是最帥的”,一旁的周慧忍不住站了出來宣示主權。
“這段剪掉啊”,女主持人一邊感嘆,還不忘記跟攝像大哥吩咐一句,“剪不剪導演說了算”,攝像大哥在心裡暗暗地說,“這麼好的素材,我估計導演是捨不得剪的”。
王一男是沒辦法注意到臺下這個小區域的一場暗戰,說完強大的形式化系統,以及上世紀著名的希爾伯特綱領,王一男停頓了幾秒鐘,
“但是在上世紀初,天才的哥德爾改變了這一切,他提出了一種形式化系統的方法,證明了任何擁有足夠表達能力的形式化系統,一定存在不能證明為真,也不能證明為假的命題”。
“華國數學家李文靜,也是我的搭檔,在哥德爾定理的基礎上,發展出出一系列的數學方法,進一步證明了,在現實的形式化系統中,比如說程式設計語言,同樣可以構造出一些無法證明的命題來”,
李文靜之前將哥德爾系統研究的一些早期成果發表了論文,畢竟,就算她不發表,別人很快也能得出類似的結論,當然,哥德爾系統雖然是利用這些理論產生的,但是中間發生了什麼,讓它具有遠超過預想的能力,直到今天,王一男和李文靜還是沒搞明白。
“在晶格頻率的形式化努力靜教授,還有邱先生和陶教授,以及我自己,發展出了一些新的數學工具,這些數學工具提供了遠超以往的表達能力”,
“但是,表達能力越強,就意味著本質的矛盾會越明顯的暴露在我們面前”,
“於是天才的格羅騰迪克先生,從這些數學工具中,發現了表達能力、複雜性和嚴密的邏輯之間,存在一些內在的聯絡,這些聯絡似乎更加接近世界的本質,也更加接近思維的本質”,
這還是王一男第一次在外界詳細描述“G不可描述定理”產生的完整過程,坐在第一排的XX主任喜出望外,這次賺到了,CERN難道以後不但是高能物理的中心,還會成為藍星一個新的數學中心麼,只要王一男教授每年定期來講一次課,貌似也不是不可能啊。
“有句華國的古話,叫做天之道,損有餘而補不足;人之道,損不足而益有餘”,王一男說,
8