歡迎訪問龍巖市科學技術協會網站! 2018年3月20日 星期二   在線投稿 設為主頁 加入收藏
首 頁 科協簡介 公告通知 重要新聞 科學普及 學會活動 科技人物 基層動態 政策法規 科普博覽 科普惠農 文件下載
j 龍巖市科學技術協會 >> 縐戞妧浜虹墿 關閉窗口
吳文俊
發布人:admin 發布時間:2009/4/23 瀏覽次數:16173


吳文俊 


  吳文俊(1919.5— ),男,上海人。著名數學家,中國科學院院士,中國數學機械化研究的創始人。曾任中國科學院系統科學研究所名譽所長、研究員。


  吳文俊研究領域涉及代數拓撲學、自動推理、機器證明、代數幾何、中國數學史、博奕論、數學機械化等,并有杰出的貢獻,在國內外享有盛譽。他的“吳方法”在國際機器證明領域產生巨大的影響,有廣泛重要的應用價值。當前國際流行的主要符號計算軟件都實現了吳文俊教授的算法。


  1956年獲首屆國家自然科學一等獎;1979年獲中國科學院自然科學一等獎;1990年獲第三世界科學院數學獎;1993年獲陳嘉庚數理科學獎;1994年獲首屆香港求是科技基金會杰出科學家獎;1997年獲Herbrand自動推理杰出成就獎;2000年獲首屆國家最高科學技術獎;2006年獲第三屆邵逸夫數學獎。


  主編《中國數學史大系》(全10卷)等。



福建龍巖市科學技術協會 版權所有  閩ICP備16038052號-1  訪問量:1876815
主辦:福建龍巖市科學技術協會  地址:龍巖大道1號市行政中心東附樓4層  郵編:364000
電話:0597-3213020  傳真:0597-3213011  電子信箱:[email protected]  技術支持:福建創高科技有限公司
嘉盛投资