吴文俊

数学家吴文俊，1940年毕业于第一交通大学(现西安交通大学和上海交通大学的前身)。1949年获法国国家科学研究中心博士学位。1957年选聘为中国科学院院士(学部委员)。1991年当选为第三世界科学院院士。他是中国数学机械化研究的创始人之一。70年代创立了定理机器证明的“吴方法”，有重要应用价值，它将引起数学研究方式的变革。2000年获首届国家最高科学技术奖。