午夜小视频在线播放_已故院士名單----中國科學(xué)院學(xué)部與院士

院士信息

吳文俊

數學(xué)家 1919年5月生于上海。1940年畢業(yè)于上海交通大學(xué)。1949年獲法國國家科學(xué)博士學(xué)位。1957年被選聘為中國科學(xué)院學(xué)部委員(院士)。1991年當選為第三世界科學(xué)院院士。中國科學(xué)院數學(xué)與系統科學(xué)研究院系統科學(xué)研究所研究員、名譽(yù)所長(cháng)，中國數學(xué)會(huì )名譽(yù)理事長(cháng)。

中國數學(xué)機械化研究的創(chuàng )始人。20世紀50年代在示性類(lèi)、示嵌類(lèi)等研究方面取得吳文俊公式、吳文俊示性類(lèi)等一系列突出成果，并有許多重要應用。70年代創(chuàng )立了定理機器證明的“吳方法”，影響巨大，具有重要應用價(jià)值，將引起數學(xué)研究方式的變革。 1956年獲國家自然科學(xué)獎一等獎，1989年獲第三世界科學(xué)院獎，1993年獲陳嘉庚數理科學(xué)獎，1994年獲求是基金杰出科學(xué)家獎，獲2000年度首屆國家最高科學(xué)技術(shù)獎。