<dd id="mmmmm"></dd>
  • <noscript id="mmmmm"><dd id="mmmmm"></dd></noscript>
    <nav id="mmmmm"><sup id="mmmmm"></sup></nav>
  • <tr id="mmmmm"></tr>
  • <nav id="mmmmm"></nav>
    <tfoot id="mmmmm"><noscript id="mmmmm"></noscript></tfoot><tfoot id="mmmmm"><noscript id="mmmmm"></noscript></tfoot>
    <nav id="mmmmm"><ul id="mmmmm"></ul></nav>
  • 羞国产在线拍揄自揄自揄视频,直接看不卡无码免费视频,免费午夜无码片在线观看影,超碰av免费网络

    首頁(yè)>要聞 要聞

    國(guó)家最高科技獎(jiǎng)得主吳文俊逝世 享年98歲

    2017年05月07日 13:08 | 來(lái)源:中青在線
    分享到: 

    中青在線北京5月7日電(中國(guó)青年報(bào)·中青在線記者 張國(guó))中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院今天發(fā)布訃告稱(chēng),首屆國(guó)家最高科技獎(jiǎng)獲得者、著名數(shù)學(xué)家吳文俊院士因病醫(yī)治無(wú)效,于2017年5月7日7時(shí)21分在北京不幸去世,享年98歲。

    點(diǎn)擊進(jìn)入下一頁(yè)

    資料圖:吳文俊。

    吳文俊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)科學(xué)研究所、中國(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)的示性類(lèi)和示嵌類(lèi)被稱(chēng)為“吳示性類(lèi)”和“吳示嵌類(lèi)”,他導(dǎo)出的示性類(lèi)之間的關(guān)系式被稱(chēng)為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一,成為影響深遠(yuǎn)的經(jīng)典性成果。1970年代后期,他開(kāi)創(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)、邵逸夫數(shù)學(xué)獎(jiǎng)(2006)、國(guó)際自動(dòng)推理最高獎(jiǎng)Herbrand自動(dòng)推理杰出成就獎(jiǎng)(1997)。

    編輯:薛曉鈺

    關(guān)鍵詞:吳文俊 國(guó)家最高科技獎(jiǎng)得

    更多

    更多

    羞国产在线拍揄自揄自揄视频
    <dd id="mmmmm"></dd>
  • <noscript id="mmmmm"><dd id="mmmmm"></dd></noscript>
    <nav id="mmmmm"><sup id="mmmmm"></sup></nav>
  • <tr id="mmmmm"></tr>
  • <nav id="mmmmm"></nav>
    <tfoot id="mmmmm"><noscript id="mmmmm"></noscript></tfoot><tfoot id="mmmmm"><noscript id="mmmmm"></noscript></tfoot>
    <nav id="mmmmm"><ul id="mmmmm"></ul></nav>