新華網(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ú)疑問,這些老者中的每一位,都在科學(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年代后期,他開創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域,提出用計(jì)算機(jī)證明幾何定理的“吳方法”,被認(rèn)為是自動(dòng)推理領(lǐng)域的先驅(qū)性工作。
吳文俊曾提出東方數(shù)學(xué)的“使命”問題,并用其一生來(lái)解答。如今,人工智能在政策的春風(fēng)下蓬勃發(fā)展,“東方數(shù)學(xué)的使命”找到了最好的演武場(chǎng)。