|
來源: 北京青年報 吳文俊所開創的『吳方法』
吳文俊依據中國傳統數字中的機械化思想,開創性地提出了用計算機證明幾何定理的方法,被國外稱為『吳方法』。
20世紀70年代後期,在計算機技術大發展的背景下,吳文俊繼承和發展了中國古代數學的傳統(即算法化思想),轉而研究幾何定理的機器證明,徹底改變了這個領域的面貌。
按照吳文俊院士的解釋,『吳方法』的重要意義就是要解放人,通過強大的計算機運算將人從複雜艱苦的邏輯推理中解放出來,讓人從事更加有創造性、更加重要的工作。也就是通過『吳方法』可以讓電腦代替人腦去進行幾何定理的證明。比如,運用『吳方法』,北京大學的科學家使可視電話的傳輸效果比傳統傳輸方法大大改善。
此外,為了騙過網絡上的竊取者,你可以將一份機密的圖像文件隱藏在一首歌里或電影裡,甚至可以把它偽裝成一張普通圖片,然後通過網絡傳送出去。這所採取的方法,正是吳文俊院士開創的數字機械化方法。
■中國古代數學的成就被忽視了
現代數學的來源,可以說有兩個:一個就是大家都知道的,古希臘時代的歐幾里得幾何學,他們創立了公理系統,可以說統治了現在的數學。可是還有一個,大家過去都沒有注意到的,就是中國古代數學。那我今天呢,想特別強調中國古代數學,它對於現代數學的影響或者對於現代數學的意義。
先說說中國古代數學留給我們的一些遺產。
中國古代數學的著作很多了,可是有許多早已失傳了,有幸能夠流傳到現在而且我們特別可以提出的著作有三種:【周髀算經】、【九章算術】和【九章算術劉徽注】。【九章算術劉徽注】是本非常了不起的著作。我想西方有歐幾里得的【幾何原本】,東方就有【九章】跟【劉徽注】,這兩個都一樣是了不起的著作。劉徽在【九章》裡面還加了一章,第十章,但後來又把第十章獨立出來,單獨成為一個小冊子,叫做【海島算經】。 |
|