科學(xué)殿堂的階梯

吳文俊 中國(guó)科學(xué)院院士，中國(guó)數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，1919年生于上海。1940年畢業(yè)于第一交通大學(xué)(現(xiàn)西安交通大學(xué)和上海交通大學(xué)的前身)，1949年獲法國(guó)國(guó)家科學(xué)博士學(xué)位，現(xiàn)任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)、研究員，曾獲首屆國(guó)家自然科學(xué)一等獎(jiǎng)、中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)、第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)、陳嘉庚數(shù)理科學(xué)獎(jiǎng)、首屆香港求是科技基金會(huì)杰出科學(xué)家獎(jiǎng)，2001年2月19日獲首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。

吳文俊在拓?fù)鋵W(xué)、自動(dòng)推理、機(jī)器證明、代數(shù)幾何、中國(guó)數(shù)學(xué)史、對(duì)策論等研究領(lǐng)域均有杰出的貢獻(xiàn)，在國(guó)內(nèi)外享有盛譽(yù)，他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得了一系列重要成果，他的“吳方法”對(duì)國(guó)際機(jī)器證明領(lǐng)域產(chǎn)生了巨大的影響。有重要的應(yīng)用價(jià)值，當(dāng)前國(guó)際流行的主要符號(hào)計(jì)算軟件都實(shí)現(xiàn)了吳文俊教授的算法。

2001年，在《中學(xué)生數(shù)理化》創(chuàng)刊20周年之際，吳文俊為本刊題詞：“科學(xué)殿堂的階梯。”