日本熟妇中文在线视频-日本高清一区麻豆传媒-五月婷婷超碰在线观看-一本超碰青草久在线观看

[video:20170508國(guó)家最高科技獎(jiǎng)得主吳文俊逝世]
　　中國(guó)共產(chǎn)黨優(yōu)秀黨員、我國(guó)著名數(shù)學(xué)家、中國(guó)科學(xué)院院士、首屆國(guó)家最高科技獎(jiǎng)獲得者、中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員吳文俊因病醫(yī)治無(wú)效，于2017年5月7日7時(shí)在北京不幸逝世，享年98歲。
　　吳文俊1919年5月12日出生于上海。1940年畢業(yè)于上海交通大學(xué)，1946年到中央研究院數(shù)學(xué)所工作。1947年赴法國(guó)斯特拉斯堡大學(xué)留學(xué)，1949年獲得法國(guó)國(guó)家博士學(xué)位，隨后在法國(guó)國(guó)家科學(xué)中心任研究員。新中國(guó)成立后，吳文俊于1951年回國(guó)，先后在北京大學(xué)、中國(guó)科學(xué)院數(shù)學(xué)所、中國(guó)科學(xué)院系統(tǒng)所、中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院任職。曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)、中國(guó)科學(xué)院數(shù)理學(xué)部主任、全國(guó)政協(xié)常委、2002年國(guó)際數(shù)學(xué)家大會(huì)主席、中國(guó)科學(xué)院系統(tǒng)所名譽(yù)所長(zhǎng)。1957年當(dāng)選為中國(guó)科學(xué)院學(xué)部委員（院士）。
　　吳文俊對(duì)數(shù)學(xué)的主要領(lǐng)域拓?fù)鋵W(xué)做出了重大貢獻(xiàn)。他引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。1970年代后期，他開創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，提出了用計(jì)算機(jī)證明幾何定理的“吳方法”，被認(rèn)為是自動(dòng)推理領(lǐng)域的先驅(qū)性工作。他是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，他的工作對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。
　　吳文俊曾獲得首屆國(guó)家最高科技獎(jiǎng)（2000年）、首屆國(guó)家自然科學(xué)一等獎(jiǎng)（1956年）、首屆求是杰出科學(xué)家獎(jiǎng)（1994年）、有東方諾貝爾獎(jiǎng)之稱的邵逸夫數(shù)學(xué)獎(jiǎng)（2006年）、國(guó)際自動(dòng)推理最高獎(jiǎng)Herbrand自動(dòng)推理杰出成就獎(jiǎng)（1997年）。他培養(yǎng)的許多學(xué)生已成為所在領(lǐng)域的領(lǐng)軍人物。他建立的數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室是國(guó)際符號(hào)計(jì)算領(lǐng)域最主要的研究中心之一。
　　吳文俊具有強(qiáng)烈的愛國(guó)心，于1951年放棄在法國(guó)的優(yōu)越條件，回到祖國(guó)參加社會(huì)主義建設(shè)。他對(duì)中國(guó)文化有著深刻的認(rèn)識(shí)，并通過自己的科研工作為復(fù)興中國(guó)文化做出了重要貢獻(xiàn)。
　　吳文俊遺體告別儀式將于2017年5月11日上午10:30在八寶山殯儀館東廳舉行。
　　相關(guān)專題：深切緬懷吳文俊院士</div