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