kubler編碼器8.5820.1542.0512

數(shù)學家黎希達曾合著的《篩選》一書，原有10章，直到付印后才見到陳景潤發(fā)表的關(guān)于“1＋2”的論文內(nèi)容，于是特地添寫了該書的第11章，章題就定為“陳氏定理”。

吳氏方法

1977年，數(shù)學家吳文俊正式發(fā)表了用機器證明幾何定理的新方法，受到了世界的公認，被譽為“吳氏方法”。運用該種方法，實現(xiàn)了歐氏幾何定理證明的機械化，有著重要應(yīng)用價值。于是，世界數(shù)學界誕生了一個新的研究領(lǐng)域——數(shù)學機械化。如同工業(yè)革命實現(xiàn)體力勞動機械化一樣，“吳氏方法”帶來了全球腦力勞動機械化。美國前人工智能協(xié)會主席布萊德梭曾致函中國領(lǐng)導(dǎo)人：“吳的工作是一流的，他獨自使中國在該領(lǐng)域進入國際領(lǐng)先行列。”

近代數(shù)學史上第一次由中國人開創(chuàng)的這一新領(lǐng)域，吸引了各國的眾多數(shù)學家前來學習。因為“手工計算上千項的證明要幾天功夫，用計算機1秒鐘就可以完成”。該方法已在計算機圖形學、機械設(shè)計、理論物理等領(lǐng)域獲得重要應(yīng)用，它將引起數(shù)學研究方式的變革。1991年，吳文俊獲第三屆世界科學家數(shù)學獎，1997年獲Herbrand自動推理成就獎。

諾貝爾獎沒有設(shè)數(shù)學獎，人們通常把“菲爾茲獎”譽為數(shù)學中的諾貝爾獎。吳文俊的方法被5位菲爾茲獎獲得者引用，有3位的獲獎工作還使用了吳文俊的方法。一直到最近兩年，仍有菲爾茲獎得主在引用吳文俊的經(jīng)典結(jié)果。2000年該成果獲首屆國家最高科學技術(shù)獎。吳文俊還為拓撲學做出了奠基性的貢獻，50年代他的“示性類”和“示嵌類”研究被國際數(shù)學界命名為“吳公式”、“吳示性類”、“吳示嵌類”。

最早攻克“瓦利隆猜想”

瓦利隆猜想是世界著名數(shù)學難題。它源于1928年法國著名數(shù)學家瓦利隆提出的一個猜想，即“有窮正級亞純函數(shù)與其導(dǎo)函數(shù)是否存在公共（BOVEL）方向”。這是亞純函數(shù)研究領(lǐng)域中一個十分重大的問題。半個多世紀以來，國內(nèi)外數(shù)學家作出了極大努力，僅僅得到一些帶有附加條件的結(jié)果。我國福建師大數(shù)學系研究生李松鷹，在世界上最先攻克了“瓦利隆猜想”，成功地解決了半個多世紀以來未能解決的疑難問題，引起國際數(shù)學界的轟動。

陸家羲與“大集定理”

1983年初，從美國加利福尼亞寄給包頭市第九中學物理教員陸家羲一包印刷品。那是幾十份世界《組合論雜志》。陸家羲的《論不相交斯坦納三元系大集》的前三篇論文，在這家雜志的同一期一并發(fā)表，并獲得崇高評價。從此宣告組合數(shù)學史上“大集定理”這一世界難題的整體解決。陸家羲的成就，令中外數(shù)學家驚嘆不已，一致評價“是世界第一流的”，“起碼不在陳景潤之下”。加拿大多倫多大學教授曼德爾遜曾激動地對中國教授們說，陸家羲的成就“是世界上20年來設(shè)計組合方面最重大的成果之一”，是“出類拔萃的”，“在此之前，我們沒有料到斯坦納問題會這么快就得到解決”。

哈密爾頓系統(tǒng)的辛幾何算法

哈密爾頓系統(tǒng)是描述各種守恒的物理和力學過程的三種基本形式之一，是一類具有特殊幾何結(jié)構(gòu)的常微分方程或偏微分方程，系統(tǒng)的幾何結(jié)構(gòu)——辛結(jié)構(gòu)，是該系統(tǒng)的數(shù)學基礎(chǔ)。20世紀80年代以后，從事計算數(shù)學的馮康院士首次系統(tǒng)地提出了哈密爾頓系統(tǒng)的辛幾何算法，解決了一系列理論和數(shù)值計算問題，獲得了遠優(yōu)于現(xiàn)有方法的計算效果，在數(shù)學領(lǐng)域取得了世界公認的成就。這一開創(chuàng)性工作已帶動了國際上多辛格式的研究，并在天體力學、分子動力學、剛體和多剛體運動、場論等領(lǐng)域的研究中得到了成功的應(yīng)用。從而開創(chuàng)了一個充滿活力，發(fā)展前景廣闊的新領(lǐng)域。