竞博,电竞官网,雷火体育首页

來源：互聯網

吳文俊（1919年5月12日-2017年5月7日），出生于上海，祖籍浙江嘉興，畢業于上海交通大學，系中國著名數學家、中國科學院院士，第三世界科學院院士。中國數學機械化研究的創始人之一。曾任中國數學會理事長、中國科學院數理學部主任、全國政協常委、2002年國際數學家大會主席、中國人工智能學會名譽理事長、中國科學院系統所名譽所長。

吳文俊是中國數學界的泰山北斗，國際代數拓撲學領域的奠基者，數學機械化研究的開創者。他長期從事拓撲學、數學機械化、中國數學史等領域的研究工作，創立了譽滿國際數學界的“吳公式”，繼承和發展了中國古代數學思想，開辟了嶄新的數學機械化研究領域，提出了用計算機證明幾何定理的“吳方法”，培養了一大批各領域領軍人才。

吳文俊是中國摘得國家自然科學一等獎和國家最高科學技術獎兩項大獎的科學家。2010年，國際編號第7683號小行星4179被永久命名為“吳文俊星”。2018年4月，吳文俊被評為“逝去的十位國家脊梁”之一。2019年，新中國成立70周年前夕，黨和人民授予他“人民科學家”國家榮譽稱號。

人物生平

早年經歷

1919年5月12日，吳文俊出生在上海一個普通的知識分子家庭，一家六口擠在一個叫朱家角鎮的鄉下居住。父親吳福同畢業于南洋公學，在書局、報館從事翻譯工作。吳文俊4歲時，進入石庫門弄堂的文蔚小學讀書。1932年一二八淞滬抗戰爆發，上海市遭遇日軍飛機轟炸，正在讀初二的吳文俊被父母送回嘉興市老家避難，半年后重返上海進入正始中學讀書，數學期末考試曾一度得零分。因受父親影響，少年時期的吳文俊，相較數學而言他更喜歡歷史，直至高中畢業，他的興趣都始終不在數學上。

高中畢業時，學校考慮到吳文俊物理學習成績優異，決定保送他去上海交通大學，主攻與物理密切相關的數學專業，并給予一定的獎學金。迫于家境貧寒，吳文俊便于1936年9月進入上海交大數學系讀書。在這里，他遇到了同窗好友趙孟養、啟蒙恩師武崇林。1937年11月，“淞滬會戰”結束后，上海市宣告淪陷，吳文俊隨學校遷入上海的租界學習。大三那年，吳文俊在恩師武崇林的啟發下，逐步對數學研究產生了濃厚興趣，并開始學習德語、涉獵波蘭學派和蘇聯學派，研讀集合論、點集拓撲和代數拓撲的經典著作。

工作與海外求學

1940年7月，時年21歲的吳文俊大學畢業。期間正值上海淪陷、全國抗戰，苦于生計的他，便尋了一份中學教師的差事勉強度日。1945年8月，抗日戰爭取得勝利。次年1月，吳文俊在趙孟養的推薦下，回到母校擔任著名數學家鄭太樸的助手，并結識了改變他一生命運的數學大師陳省身。

1946年8月，吳文俊在陳省身的幫助下進入中央研究院數學研究所，開始潛心研究拓撲學。早在1940年，美國數學大師哈斯勒·惠特尼（Whitney）曾提出一個“惠特尼對偶定理”，并計劃出版一本專著加以論證說明。然而1947年，吳文俊短短幾頁紙的研究成果發表后，瞬間讓惠特尼（Whitney）沒有了出書的必要。鑒于吳文俊的出色表現，陳省身很快推薦他考取了中法交換生。

1947年11月，28歲的吳文俊赴法留學，師從法國斯特拉斯堡大學教授、著名數學家埃瑞斯曼（Ch.Ehresmann），從事拓撲學研究。留法第二年，吳文俊便在《法國科學院周報》上發表了一篇關于拓撲學中近復結構的論文，指出列夫·龐特里亞金（Pontrjajin）和哈斯勒·惠特尼（Whitney）兩位國際數學大師關于二維示性類的認識殊途同歸，不存在對錯之分，并給出了三維等于零的證明，一時轟動國際數學界。拓撲學權威霍夫曼（Hoffman）甚至不惜專程趕往法國，當面與吳文俊辯論討教，并邀約他前往蘇黎世聯邦理工學院大學訪問。憑借出色的學術表現，吳文俊短短兩年便獲得了法國博士學位。

1949年秋，吳文俊前往法國巴黎任法國國家科學中心研究員，師從法國數學家H.嘉當（H. Cartan）學習深造。次年春天，在吳文俊的主導下，他與法國學者托姆（R. Thom）、塞爾（J.P. Serre）、瑞士學者保萊爾（A. Borel）共同提出了舉世聞名的“吳公式”，建立了施替費爾－惠特尼示性類之間的彼此聯系，一舉開辟了拓撲學通向應用的道路，掀起國際數學界又一場“拓撲地震”。

歸國投身科研

1951年7月，吳文俊放棄了國外的優越條件回國，隨即出任北京大學數學系教授。次年10月，赴中國科學院數學研究所任研究員，其間在拓撲學研究中，他進一步提出了“吳示嵌類”的理論。1957年1月，吳文俊與錢學森、華羅庚一道榮獲首屆國家自然科學獎一等獎，并成為中國科學院最年輕的學部委員（院士）。

1958年，吳文俊協助華羅庚創辦中國科學技術大學應用數學和計算技術系，從1960年一直講學授課到1965年。文化大革命開始后，吳文俊的教育研究工作開始出現中斷，一度被下放至北京的一家計算機工廠勞動。文革后期，拓撲學研究日漸落后的吳文俊，被迫更換了博弈論等四五個研究方向，都沒有取得多少成績。后在數學所副所長關肇直點撥下，轉而研究中國古代數學。

1974年，吳文俊正式開始鉆研中國古代數學史，受到啟發的他很快取得了第一個突破，復原三國時期大數學家趙爽的日高公式證明，并在后續的進一步研究中，衍生出了對中國古代數學思想是構造性、算法性的基本理解，從而奠定了吳文俊開啟數學機械化研究的基礎。1975年，吳文俊在《數學學報》發表研究成果，提出了西方數學起源于中國或希臘的學術觀點，詳實闡述了中國古代數學的世界意義。隨后，吳文俊開始自學計算機編程算法，把中國古代數學思想應用于幾何定理的機器證明，首創了采用引入坐標，把幾何問題轉化為代數問題，然后再實現機械化的方法。1977年春節，吳文俊關于初等幾何定理的機械化證明首次取得成功，研究成果很快發表在《中國科學》雜志上，在國際學術界掀起巨大波瀾，被視為開創了人類數學研究的全新領域。

1978年4月，中科大系科調整，吳文俊出任數學系副主任，協助華羅庚重建中科大數學系，并于同年摘得全國科學大會獎。1979年10月，關肇直創建系統科學研究所，吳文俊離開數學所去系統所，任副所長。1980年，吳文俊轉入中國科學院系統科學所工作。1983年，他再次回到中科大，主持首批中國自主培養的博士生畢業答辯。1984年，吳文俊出任中國數學會理事長。1990年，在國家科委支持下，中科院成立了“數學機械化研究中心”，吳文俊出任主任，他所主導的“數學機械化與自動推理平臺”成為國家首批“973項目”。同年，吳文俊被發展中國家科學院院士選聘為院士。同年，吳文俊獲第三世界科學院數學獎。1995年5月，吳文俊接受香港城市大學名譽博士學位。1998年，吳文俊轉入新成立的中國科學院數學與系統科學研究所工作，先后出任副所長、名譽所長、研究員。1999年，吳文俊被聘為華中理工大學名譽教授。

2001年2月，吳文俊榮獲首屆國家最高科學技術獎。同年，吳文俊的英文著作《數學機械化》榮獲第五屆國家圖書獎。

2005年9月26日，吳文俊被聘為中國石油大學（東營）榮譽教授。

逝世

2017年5月7日7時21分，吳文俊院士因病醫治無效在北京逝世，享年98歲。

科研成就

研究綜述

吳文俊的學術生涯主要有兩個階段。在學術生涯前半段，主要致力于拓撲學研究，取得了一系列原創性成果。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導出的示性類之間的關系式被稱為“吳公式”，是上世紀50年代前后拓撲學研究的重大突破之一，其經典學術成果被多國教科書收錄，沿用至今。在他的學術影響下，法國數學家托姆（R. Thom）、英國數學家邁克爾·阿蒂亞（M.F. Atiyah）、美國數學家斯邁爾（S. Smale）等許多著名數學家，或參考或引用吳文俊的研究成果屢次摘得國際大獎。

在學術生涯后半段，吳文俊開創了數學機械化研究新領域。20世紀70年代后期，他提出用計算機證明幾何定理的“吳方法”，開辟了近代數學史上第一個由中國人原創的研究領域，被認定為自動推理領域的先驅性工作。1984年，吳文俊將其在數學機械化領域的原創性成果《初等幾何定理機器證明的基本原理》，發表在中國期刊《系統科學與數學》上，再次震驚世界。1986年，國際人工智能領域最權威的雜志《人工智能》，刊出了一本300多頁的“吳方法”論文專輯，全方位闡釋“吳方法”在人工智能領域的運用。

與此同時，吳文俊又提出了微分幾何的定理機械化證明法，方程組符號求解的“吳消元法”，全局優化的有限核定理，完整搭建了數學機械化體系。他的一系列開創性成果，后來被廣泛應用于天文學、物理學、化學、力學和計算機科學等諸多領域，解決了曲面拼接、機構設計、計算機視覺等高技術領域核心問題。

主要著作

吳文俊一生編著各類著作超過70部，現摘選部分具有重要學術影響力的著作如下：

學術論文

吳文俊一生發表論文148篇。其中拓撲學論文57篇，數學機械化論文59篇，中國數學史論文10篇，其它論文22篇，以下為最高被引的10篇論文：

社會職務

人才培養

吳文俊在人才培養上，長期堅持“不給學生題目”的培養思路，鼓勵學生自主“提出問題、分析問題、解決問題”。他曾先后在中國科學院、中國科學技術大學開班任教，編寫了《吳文俊論數學機械化》《Menelaus 定理》《可剖形在歐氏空間中的實現問題》等大量學術著作，培養了李邦河院士、姜伯駒院士、王東明院士等一大批學術領軍人。

2001年2月，摘得首屆國家最高科學技術獎的吳文俊，主動拿出100萬元設立了“數學與天文絲路基金”，積極支持中國古代數學史和落后地區的科研工作，使得西部地區不少數學家因此而受益。吳文俊晚年主導建立的數學機械化重點實驗室，也已成為國際符號計算領域最主要的研究中心之一。

獎勵與榮譽

影響與評價

1982年，美國人工智能協會主席布萊索等知名科學家聯名致信中國，盛贊吳文俊“以一人之力，令中國的自動推理研究領跑世界”。國際自動推理最高獎“Herbrand自動推理杰出成就獎”評選委員會認為，“吳方法”的出現，全面復興了幾何定理證明領域的研究，令其一躍成為自動推理界最活躍、最成功的領域之一。

吳文俊逝世后，治喪委員會在告別大廳高懸大幅挽聯：“文華逾九章，拓撲公式彪史冊；俊杰勝十書，機器證明譽寰球。”

2017年5月，《經濟日報》專題刊文緬懷吳文俊，稱“國際數學界不乏年少成名的奇才，但很少有人能時隔數十年再創輝煌，更罕有人能在晚年開宗立派，劈開一個世界前沿的全新領域，但吳文俊做到了！”

著名數學家蕭蔭堂稱譽吳文俊是“偉大的數學家，學術界的巨人，無私奉獻的愛國者”。著名數學家丘成桐特意題寫挽聯：“同蘇公高壽，受榮名于國家，福難比矣；繼陳氏之后，揚拓撲于中原地區，功莫大焉。”

2017年5月，吳文俊逝世之際，《新華社》連續刊發評論數篇，稱“吳文俊是中國數學界的泰山北斗”“開創了近代數學史上第一個由中國人原創的領域，對數學與計算機科學研究影響深遠。”時隔兩年，吳文俊誕辰100周年之際，《新華每日電訊報》再度刊發評論：“大師逝去，留下的這些‘石頭’，燦若星辰。”

后世紀念

2011年1月，為致敬吳文俊在人工智能領域作出的卓越貢獻，中國人工智能學會發起設立了“吳文俊人工智能科學技術獎”，以表彰在智能科技領域取得重大突破，做出突出貢獻的科技工作者和管理者，具備直接提名推薦“國家科學技術獎”資格，被譽為“中國智能科學技術最高獎”。2019年5月，吳文俊誕辰100周年之際，“吳文俊人工智能科學技術獎”評選基地在蘇州市正式落成。

2019年5月，上海交通大學設立吳文俊數學中心，以學術建設傳承吳文俊精神。2022年9月，《中國現代科學家（九）》紀念郵票首發，吳文俊與袁隆平、程開甲、劉東生共同入選。