吴文俊

---

吴文俊(1919～ )，著名数学家。

现在是中国科学院系统科学研究所名誉所长。2000年度国家最高科学技术奖获得者。

他毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。

他的主要造就在于拓扑学和自动推理以及机器证明。他的算法被应用在许多符号计算软件中。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，并已应用于国际上当前流行的符号计算软件方面。