从寓理于算到数学机械化 引领中国传统数学的复兴 从机器证明到机械化数学 中国数学发展新的里程碑

吴文俊（1919．5．12—2017．5．7），祖籍浙江嘉兴，出生于上海，1940年毕业于交通大学数学系，1949年获法国斯特拉斯堡大学博士学位；1956年获首届国家自然科学一等奖；1957年当选为中国科学院学部委员（院士）；1979年获中国科学院自然科学一等奖；1990年获第三世界科学院数学奖；1991年当选第三世界科学院院士；1993年获陈嘉庚数理科学奖；1994年获首届香港求是科技基金会杰出科学家奖；1997年获Herbrand自动推理杰出成就奖；2000年获首届国家最高科学技术奖；2006年获第三届邵逸夫数学奖。