吳文俊。中國科學院院士。中國數(shù)學機械化研究的創(chuàng)始人之一。1919年生于上海。1940年畢業(yè)于第一交通大學(現(xiàn)西安交通大學和上海交通大學的前身)。1949年獲法國國家博士學位。現(xiàn)任中國科學院系統(tǒng)科學研究所名譽所長、研究員。曾獲首屆國家自然科學一等獎、中國科學院自然科學一等獎、第三世界科學院數(shù)學獎、陳嘉庚數(shù)理科學獎、首屆香港求是科技基金會杰出科學家獎。2001年2月19日獲首屆國家最高科學技術(shù)獎。
吳文俊在拓撲學、自動推理、機器證明、代數(shù)幾何、中國數(shù)學史、對策論等研究領(lǐng)域均有杰出的貢獻。在國內(nèi)外享有盛譽。他在拓撲學的示性類、示嵌類的研究方面取得了一系列重要成果。他的“吳方法”對國際機器證明領(lǐng)域產(chǎn)生巨大的影響。有廣泛重要的應(yīng)用價值。當前國際流行的主要符號計算軟件都實現(xiàn)了吳文俊教授的算法。
2001年,在《中學生數(shù)理化》創(chuàng)刊20周年之際,吳文俊為我刊題詞:“科學殿堂的階梯。”