新華網(wǎng)北京1月11日電? 2017年度國家最高科學(xué)技術(shù)獎日前揭曉,作為中國科技界最高獎項(xiàng),國家最高科技獎自2000年正式設(shè)立至今,已有29位科學(xué)家獲獎。其中,12位已經(jīng)故去,他們當(dāng)中,最年長者98歲,最年輕者69歲,平均年齡接近91歲。
雖然術(shù)業(yè)有專攻,但毫無疑問,這些老者中的每一位,都在科學(xué)技術(shù)領(lǐng)域做出了卓越的貢獻(xiàn),有力推動著社會前行。我們每一個(gè)人,都應(yīng)該向推動時(shí)代發(fā)展的大師們,緬懷致敬!
吳文俊(1919年5月12日-2017年5月7日),數(shù)學(xué)家
獲得首屆國家最高科技獎時(shí),吳文俊81歲。
他是我國最具國際影響的數(shù)學(xué)家之一,其工作對數(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)為是自動推理領(lǐng)域的先驅(qū)性工作。
吳文俊曾提出東方數(shù)學(xué)的“使命”問題,并用其一生來解答。如今,人工智能在政策的春風(fēng)下蓬勃發(fā)展,“東方數(shù)學(xué)的使命”找到了最好的演武場。