• 2019年10月15日 星期二


吳文俊,男,1919年5月12日生于上海。 著名數學家,資深院士,我國智能科學研究的開拓者和領軍人。1940年畢業于上海交通大學數學系。1949年在法國斯特拉斯堡大學獲法國國家科學博士學位。曾任中國科學院系統科學研究所名譽所長、中國數學會理事長、中國科學院數理學部主任。1990年創建數學機械化研究中心,并任主任。 1957年當選為中國科學院院士。1991年當選第三世界科學院院士。


吳文俊院士研究工作涉及代數拓撲學、代數幾何、博奕論、數學史、數學機械化等眾多學術領域。1956年因在拓撲學中示性類與示嵌類方面的卓越成就獲國家自然科學獎一等獎。1980年獲中國科學院科技成果一等獎,1992年獲第三世界科學院數學獎,1993年獲陳嘉庚基金會數理科學獎,1994年獲求是科技基金會杰出科學家獎,1997年因在數學機械化研究方面的開創性貢獻獲Herbrand自動推理杰出成就獎,2000年榮獲首屆國家最高科學技術獎,2006年榮獲邵逸夫獎。


吳文俊院士是我國人工智能研究的開拓者和領軍人,系中國人工智能學會第四屆和第五屆理事會指導委員會名譽主席。他早年提出的機器定理證明方法在國際上被稱尊為“吳方法”;隨后提出的數學機械化和腦力勞動機械化研究已經成為我國和世界人工智能研究的重要目標。


中國人工智能學會
2016年01月09日

Copyright ? 2010 中國人工智能學會 京ICP備06029423號
地址: 北京市海淀區西土城路10號 郵編: 100876 電話: 010-62281360 傳真: 010-62282983

二維碼
世界十大博彩公司排名-网上博彩公司排行大全-十大博彩公司官方平台_人工智能学会