介绍:
“数学机械化方法的成功应用，是数学机械化研究的生命线。”——吴文俊
吴文俊（1919），生于上海，祖籍浙江嘉兴，数学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，系统科学研究所名誉所长。
吴文俊毕业于交通大学数学系，1949年，获法国斯特拉斯堡大学博士学位；1957年，当选为中国科学院学部委员（院士）；1991年，当选第三世界科学院院士；2001年2月，获2000年度国家最高科学技术奖。
吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作；他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。
大家还在听
