新華網(wǎng)北京1月11日電? 2017年度國(guó)家最高科學(xué)技術(shù)獎(jiǎng)日前揭曉，作為中國(guó)科技界最高獎(jiǎng)項(xiàng)，國(guó)家最高科技獎(jiǎng)自2000年正式設(shè)立至今，已有29位科學(xué)家獲獎(jiǎng)。其中，12位已經(jīng)故去，他們當(dāng)中，最年長(zhǎng)者98歲，最年輕者69歲，平均年齡接近91歲。
雖然術(shù)業(yè)有專攻，但毫無(wú)疑問(wèn)，這些老者中的每一位，都在科學(xué)技術(shù)領(lǐng)域做出了卓越的貢獻(xiàn)，有力推動(dòng)著社會(huì)前行。我們每一個(gè)人，都應(yīng)該向推動(dòng)時(shí)代發(fā)展的大師們，緬懷致敬！
吳文?。?919年5月12日-2017年5月7日），數(shù)學(xué)家
獲得首屆國(guó)家最高科技獎(jiǎng)時(shí)，吳文俊81歲。
他是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，其工作對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。在拓?fù)鋵W(xué)領(lǐng)域，他引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”。上世紀(jì)70年代后期，他開(kāi)創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，提出用計(jì)算機(jī)證明幾何定理的“吳方法”，被認(rèn)為是自動(dòng)推理領(lǐng)域的先驅(qū)性工作。
吳文俊曾提出東方數(shù)學(xué)的“使命”問(wèn)題，并用其一生來(lái)解答。如今，人工智能在政策的春風(fēng)下蓬勃發(fā)展，“東方數(shù)學(xué)的使命”找到了最好的演武場(chǎng)。
