吳文俊在數學領域有哪些突出貢獻

⑴ 吳文俊到底是怎樣的數學家

首屆國家最高科技獎獲得者、數學大師吳文俊院士5月7日在北京逝世，享年98歲。中國科學院數學與系統科學研究院發布的訃告稱，吳文俊是中國最具國際影響的數學家之一，他的工作對數學與計算機科學研究影響深遠。中國數學會原理事長馬志明院士今天對中國青年報·中青在線記者說，吳文俊先生是一位數學大師，首屆國家最高科技獎頒給他，可見他的地位。「他是我們非常敬愛的一位數學家。他對我們這一代數學家的影響是很深的。」今天上午，馬志明接到記者電話時非常驚訝。他前一段時間聽說過吳先生病重的消息，還未聽到噩耗。記者從吳文俊先生治喪公室獲悉，吳先生此次住院是因在家不慎摔倒，腦出血入院治療。4月初入院後，身體一度恢復良好，但進入5月又惡化。4月11日，中科院院長白春禮去醫院看望他時，病情已經趨於平穩。他的主治醫生笑稱：「爺爺很可愛，也很配合治療。」據馬志明介紹，吳文俊直到晚年都在研究數學。他在數學上的貢獻，除了眾所周知的數學機械化領域，還包括他對中國古代數學的研究。長期以來，他為把中國建設成為數學強國傾注了大量心血，為中國數學界的組織建設和學科發展做了大量工作。中科院的訃告稱，吳文俊曾獲得首屆國家最高科技獎、邵逸夫數學獎、國際自動推理最高獎Herbrand自動推理傑出成就獎等大獎。他引進的示性類和示嵌類被稱為「吳示性類」和「吳示嵌類」，他導出的示性類之間的關系式被稱為「吳公式」。他的工作是1950年代前後拓撲學的重大突破之一，成為影響深遠的經典性成果。1970年代後期，他開創了嶄新的數學機械化領域，提出了用計算機證明幾何定理的「吳方法」，被認為是自動推理領域的先驅性工作。2002年，國際數學家大會首次在中國舉行。吳文俊擔任大會主席，當時擔任組委會主席的是時任中國數學會理事長馬志明。馬志明說，吳先生一直希望中國能夠成為數學強國。「他說，我們很多工作做得很好，但都是跟著外國人做的。他希望我們有中國人自己的研究方向，開拓出自己的研究方向來。」這也是吳文俊留給馬志明的最深印象。「他經常說我們做研究工作，應該有我們中國人自己的方向，不要老是跟著別人做。」他說，吳先生開創的數學機械化證明，就是中國人自己的方向、自己的思想。吳文俊90歲大壽時，馬志明曾代表中國數學會寫了一封賀信。他在賀信中引用了吳文俊在不同場合講過的觀點：「我們做的很出色，可是領域是人家開創的，問題也是人家提出來的，我們做出了非常好的工作，有些把人家未解決的問題解決了，而且在人家的領域做出了使人家佩服的工作。可是我覺得還不夠，我們應該開創我們自己的領域，我們要提出我們自己的問題來。從長遠看我們要創新，我們要有自己的路，我們要有自己的方向，自己的思想，不能完全跟著別人。」馬志明說，吳先生對晚輩數學家特別關照。他特別平易近人，對任何人都很和藹，他是一個「老頑童」，對任何事情都心胸開闊。最近幾年，吳文俊很少出門。有一次，馬志明見到他在小區門口打車。耄耋之年的吳文俊當時一個人坐計程車，要到附近的一家書店去。他很喜歡去那裡看書。雖然地位崇高，吳文俊並沒有「專車」待遇。數學家袁亞湘院士在接受中國青年報·中青在線記者采訪，談及院士待遇時曾提到，吳文俊院士沒有專車。吳文俊1919年5月12日出生於上海，1940年畢業於上海交通大學，1946年到中研院數學所工作。1947年赴法國斯特拉斯堡大學留學，1949年獲得法國國家博士學位，隨後在法國國家科學中心任研究員。新中國成立後，吳文俊於1951年回國。在他的一生中，他的老師、國際數學大師陳省身對他影響很深。陳省身帶他進入了拓撲學研究領域，這是他最重要的研究領域之一。2004年，陳省身在南開大學逝世。當時，前去弔唁的吳文俊對中國青年報·中青在線記者說：「陳省身是我的領路人，決定了我一生的工作和科學道路。如果當時沒遇見他，我很可能在數學上一事無成。」有「東方諾貝爾獎」之稱的邵逸夫獎設立時，陳省身獲得首屆邵逸夫數學獎，吳文俊當時擔任該獎項數學科學獎評委會主席。後來，吳文俊自己也獲得了這項殊榮。晚年的吳文俊一向有「老頑童」之稱。5年前，他在接受中國青年報·中青在線記者采訪時表示，自己對於「具體的知識」，已經知之甚少。如今「主要是在看小說」，「各式各樣的小說、好看的小說」。他評價「日本的偵探小說有意思」。在他看來，日本偵探小說反映深刻的社會背景，不像英國的福爾摩斯探案系列那樣，用一些奇奇怪怪的故事來吸引人。這位數學大師當時還說，在數學上自己「還可以有所作為」——「我想我還可以做一點事情。能夠做到多少就不敢說了。」

⑵ 吳文俊是當代數學的標志具體表現在哪些方面

主要在拓撲學，數學機械化有貢獻

⑶ 吳文俊在數學研究上開創了哪些領域

吳文俊，1919年5月12日出生於上海，祖籍浙江嘉興，數學家，中國科學院院士，中國科學院數學與系統科學研究院研究員，系統科學研究所名譽所長。
吳文俊畢業於交通大學（現上海交通大學、西安交通大學）數學系，1949年，獲法國斯特拉斯堡大學博士學位；1957年，當選為中國科學院學部委員（院士）；1991年，當選第三世界科學院院士；2001年2月，獲2000年度國家最高科學技術獎。
吳文俊的研究工作涉及數學的諸多領域，其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作；他的示性類和示嵌類研究被國際數學界稱為「吳公式」，「吳示性類」，「吳示嵌類」，至今仍被國際同行廣泛引用。

⑷ 我國學者，吳文俊院士在人工智慧的，什麼領域做出了貢獻。

吳文俊是我國最具國際影響的數學家之一，他對數學的核心領域拓撲學做出了重大貢獻、開創了數學機械化新領域，對數學與計算機科學研究影響深遠。

吳文俊的研究工作涉及數學的諸多領域，其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作；他的示性類和示嵌類研究被國際數學界稱為「吳公式」，「吳示性類」，「吳示嵌類」，至今仍被國際同行廣泛引用。

(4)吳文俊在數學領域有哪些突出貢獻擴展閱讀

上世紀七十年代末，吳文俊用演算法的觀點對中國古算作了正本清源的分析，認為中國古算是演算法化的數學。由此，開辟了中國數學史研究的新思路與新方法，在數學史領域產生了重大影響。

1986年吳文俊被邀請到國際數學家大會作分組報告，介紹他在中國古代數學史研究中的成果。不僅如此，他又在中國古算研究的啟發下，開拓了機械化數學的嶄新領域。

1977年他在初等幾何定理的機械化證明方面首先取得成功，提出了幾何定理機器證明的吳方法。此後，相繼提出微分幾何的定理機械化證明方法，方程組符號求解的吳消元法，全局優化的有限核定理，建立了數學機械化體系。

他不僅建立數學機械化的基礎，而且將這一理論應用於多個高技術領域，解決了曲面拼接、機構設計、計算機視覺、機器人等高技術領域核心問題。這樣走出了完全是中國人自己開拓的新的數學道路，產生了巨大的國際影響。

⑸ 吳文俊數學機械化的成就和意義

自1976年冬，中國著名教授吳文俊在中國古代數學機械化思想的啟發下，尚不知外國人的研究成果，獨辟蹊徑，大膽地投入數學機械化的研究，創建了數學機械化方法：從幾何公理體系出發，引進坐標，將任意幾何問題代數化→將證明題的假設與結論分別表示成多元多項式方程→在電子計算機上運算，以判斷定理是否成立。
吳文俊教授運用自己的方法，在電子計算機上完成了西姆森線、費爾巴哈定理、毛萊定理等一系列初等幾何的證明。隨後，他又把證明的范圍擴大到非歐幾何、仿射幾何、圓幾何、線幾何、球幾何等領域。目前，運用吳文俊教授的方法，已證明出600多條定理，許多定理的證明只需幾秒甚至零點幾秒就可在電子計算機上完成。甚至有一些定理證明相當繁雜，即便交給傑出的數學家來證，也是相當困難的。
中國數學家吳文俊，終於實現了千百年來幾何定理機械化證明的夢想。被譽為「吳方法」的誕生，給兩千多年的公理化演繹體系帶來了強烈沖擊。
吳文俊教授還用自己的方法，證明了可以用計算機程序從刻卜勒定律推導出牛頓定律，這已超出了數學定理機械化證明的范疇，而是屬於更廣的自動推理。其實，各個科學領域研究的問題，只要涉及到方程求解，「吳方法」都會有用武之地。
美國《自動推理雜志》編委穆爾認為，「吳方法」建立之前，幾何定理機械化證明的研究處於一片黑暗，吳不僅沖破了這種沉寂的局面，而且帶來了光輝的前景。
美國自動推理的權威人物淮斯認為，吳文俊在自動推理領域的傑出貢獻是不可磨滅的，他理應獲得最高獎。
吳文俊的心願：「中國傳統數學瀕於失傳並讓位於西方現代數學，已有幾個世紀之久了，現在已到了復興中國數學事業的緊要關頭。下個世紀，應該讓中國先哲創立的機械化演算法體系在數學領域再領風騷」。

⑹ 吳文俊丘成桐誰數學地位高

丘吧

⑺ 吳文俊獲得過哪些獎項

根據報道，中國科學院數學與系統科學研究院今天發布訃告稱，首屆國家最高科技獎獲得者、著名數學家吳文俊院士因病醫治無效，於2017年5月7日7時21分在北京不幸去世，享年98歲。

而數學界也一直公認：吳文俊對數學的主要領域—拓撲學做出了重大貢獻。他引進的示性類和示嵌類被稱為「吳示性類」和「吳示嵌類」，他導出的示性類之間的關系式被稱為「吳公式」，他是我國最具國際影響的數學家之一，他的工作對數學與計算機科學研究影響深遠。

⑻ 吳文俊對數學有什麼貢獻

吳文俊，1919年5月12日生於上海，世界著名數學家，1940年畢業於交通大學，1949年獲法國國家博士學位。中國科學院數學與系統科學研究院系統科學研究所研究員、名譽所長，中國數學會名譽理事長。

吳文俊是中國數學機械化研究的創始人之一，中國科學院院士，第三世界科學院院士；曾任中國數學會理事長（1985～1987），中國科學院數理學部主任（1992～1994），全國政協委員、常委（1979～1998）。

吳文俊在拓撲學、自動推理、機器證明、代數幾何、中國數學史、對策論等研究領域均有傑出的貢獻,在國內外享有盛譽。他在拓撲學的示性類、示嵌類的研究方面取得一系列重要成果，是拓撲學中的奠基性工作並有許多重要應用。他的「吳方法」在國際機器證明領域產生巨大的影響，有廣泛重要的應用價值。當前國際流行的主要符號計算軟體都實現了吳文俊教授的演算法。

吳文俊在數學上的重大貢獻

吳文俊在拓撲學方面，在示性類、示嵌類等領域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應用。他還在拓撲不變數、代數流形等問題上有創造性工作。1956年吳文俊因在拓撲學中的示性類和示嵌類方面的卓越成就獲中國自然科學獎一等獲。

在數學機械化或機器證明方面，吳文俊從初等幾何著手，在計算機上證明了一類高難度的定理，同時也發現了一些新定理，進一步探討了微分幾何的定理證明。提出了利用機器證明與發現幾何定理的新方法。這項工作為數學研究開辟了一個新的領域，將對數學的革命產生深遠的影響。1978年，這項成果獲全國科學大會重大科技成果獎。

在中國數學史方面，吳文俊認為中國古代數學的特點是：從實際問題出發，經過分析提高，再抽象出一般的原理、原則和方法，最終達到解決一大類問題的目的。他對中國古代數學在數論、代數、幾何等方面的成就也提出了精闢的見解。

吳文俊的數學研究活動，可分為前後兩個時期，涉及到好幾個數學領域，前期自1947年至20世紀70年代，以代數拓撲為主，他的貢獻主要有兩個方面：

示性類研究

通過Grassmann流形對在20世紀30年代由瑞士Stiefel、美國Whitney、蘇聯Pontrjajin和陳省身引入的示性類進行了系統的論述，確定了名稱，探討了相應關系，並應用於流形的構造。他引入的上同調類，後來在文獻中被稱之為吳示性類，他提出的蘊含拓撲不變性和同倫不變性的兩個公式，後來都被稱之為吳公式。由於這些結果的根本重要性，在多種問題中被廣泛應用，如20世紀50年代德國的Dold,20世紀60年代德國的Hirzebruch蘇聯的Novikov並因而獲Fields獎。

示嵌類研究

他引入具有非同倫拓撲不變數的一種一般構造方法，並系統地用之於嵌入問題，引入了復合形示嵌類，並用同樣方法研究浸入問題與同痕問題，引入類似的示浸類與示痕類。瑞士Haefiger由於在1958年聽到了他關於上述示嵌類研究工作的講學，於1961年將嵌入問題作了重要推廣，因而成為瑞士主要拓撲專家。美國Smale應用他的工作於維數大於4的Poincare猜測，並因而獲Fields獎。他後來應用關於示嵌類的成果於電路布線問題，給出線性圖平面性的新的判定準則，與以往的判定準則在性質上完全不同，尤其是可計算。

應當注意的是他在1956年前完成的研究成果的重要性，在多年以後才顯現出來，至今仍在國際上廣泛引用。

吳文俊的後期數學研究始於1976年，主要從事機器證明與數學機械化等方面的工作。

他提出的用計算機證明幾何定理的方法，與常用的基於數理邏輯的方法根本不同，顯現了無比的優越性，改變了國際上自動推理研究的面貌，被稱為自動推論領域的先驅性工作，並因此獲得Herbrand自動推論傑出成就獎。以下是14屆國際自動推論大會上對吳文俊工作的介紹與評價。

吳文俊在自動推理界以他於1977年發明的(定理證明)方法著稱。這一方法是幾何定理自動證明領域的突破。

幾何定理自動證明首先由HerbertGerlenter於20世紀50年代開始研究。雖然得到了一些有意義的結果，但在吳方法出現之前的二十年裡這一領域進展甚微。

在不多的自動推理領域中，這種被動局面是由一個人完全扭轉的。吳文俊很明顯是這樣一個人。吳的工作將幾何定理證明自動推理的一個不太成功的領域變為最成功的領域之一。在很少的領域中，我們可以將機器證明歸於一個人的工作。幾何定理證明就是這樣的一個領域。

吳文俊引入的求解非線性代數方程組的吳方法是求解代數方程組精確解最完整的方法之一，已經被成功地用於解決很多問題，並實現在當前流行的符號計算軟體中。歐共體資助的POSSO計劃(POlynomialSystemSOlving)中也有吳方法的專用軟體包。

吳方法還被用於若干高科技領域，得到一系列國際領先的成果。包括曲面造型，機器人機構的位置分析，智能CAD系統(計算機輔助設計)，機器人，圖像壓縮等。

20世紀80年代末，他提出了偏微分代數方程組的整序方法，是目前處理偏微分代數方程組的完整的構造性方法。該方法已被應用於微分幾何定理機器證明和偏微分方程組求解。擴展了代數簇的通常局限無奇點情形的陳示性數於有任意奇點的陳類與陳數，且定義是可計算的，形成代數幾何機械化的新篇章。

他給出了多元多項式組的零點結構定理，這是構造性代數幾何發展的重要標志。

⑼ 吳文俊的貢獻是什麼

吳文俊對數學的貢獻 吳文俊在數學上作出了許多重大的貢獻。 ◆ 拓撲學方面，在示性類、示嵌類等領域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應用。他還在拓撲不變數、代數流形等問題上有創造性工作。1956年吳文俊因在拓撲學中的示性類和示嵌類方面的卓越成就獲中國自然科學獎一等獲。 ◆ 數學機械化或機器證明方面，從初等幾何著手，在計算機上證明了一類高難度的定理，同時也發現了一些新定理，進一步探討了微分幾何的定理證明。提出了利用機器證明與發現幾何定理的新方法。這項工作為數學研究開辟了一個新的領域，將對數學的革命產生深遠的影響。1978年獲全國科學大會重大科技成果獎。 ◆ 中國數學史方面，吳文俊認為中國古代數學的特點是：從實際問題出發，經過分析提高，再抽象出一般的原理、原則和方法，最終達到解決一大類問題的目的。他對中國古代數學在數論、代數、幾何等方面的成就也提出了精闢的見解。