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

吳文俊在拓撲學、自動推理、機器證明、代數幾何、中國數學史、對策論等研究領域均有杰出的貢獻，在國內外享有盛譽，他在拓撲學的示性類、示嵌類的研究方面取得了一系列重要成果，他的“吳方法”對國際機器證明領域產生了巨大的影響。有重要的應用價值，當前國際流行的主要符號計算軟件都實現了吳文俊教授的算法。

2001年，在《中學生數理化》創(chuàng)刊20周年之際，吳文俊為本刊題詞：“科學殿堂的階梯?！?/p>