正文
他曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002 年国际数学家大会主席，1993 年开始任中国科学院系统所名誉所长。
从 1946 年到 1951 年，吴文俊主要从事施蒂费尔 - 惠特尼示性类的研究工作；从 1953 年到 1957 年，他主要从事庞特里亚金示性类的研究工作。其后，吴文俊转向示嵌类的研究。由于他在拓扑学示性类及示嵌类方面的出色工作，吴文俊与华罗庚、钱学森一起荣获 1956 年国家第一届自然科学奖的最高奖——一等奖，并于 1957 年增选为中国科学院学部委员 (院士)。1958 年吴文俊被邀请到国际数学家大会作分组报告（因故未能成行）。
1976 年，吴文俊在中国古算研究的基础上，开拓了机械化数学的崭新领域。1986 年吴文俊被邀请到国际数学家大会作分组报告，1990 年荣获第三世界科学院数学奖，1993 年获陈嘉庚数理科学奖，1994 年获首届香港求是杰出科学家奖，1997 年获得国际自动推理最高奖厄布朗（Herbrand）自动推理杰出成就奖。
2000 年，吴文俊由于对拓扑学与数学机械化的贡献，获得首届最高国家科学技术奖。2006 年吴文俊由于 “对数学机械化新兴交叉学科的贡献” 与美国数学家 David Mumford 共同获得了有东方诺贝尔奖之称的 “邵逸夫数学奖” 及一百万美元的奖金。评奖委员会认为：“通过引入深邃的数学思想，吴开辟了一种全新的方法，该方法被证明在解决一大类问题上都是极为有效的。”“吴的方法使该领域发生了一次彻底的革命性变化，并导致了该领域研究方法的变革。” 他的工作 “揭示了数学的广度，为未来的数学家们树立了新的榜样。”
