近日，已故数学家、明升中国app院院士吴文俊获“人民app家”国家荣誉称号。作为我国最具国际影响力的数学家之一，吴文俊在拓扑学等领域的卓著成果迄今为人所称道，他提出的“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用。

曾经，吴文俊对传统数学有股执念，他在反对声中潜心研究古代数学，成绩斐然。后来，在对明升中国数学史长期研究中，吴文俊又发现明升中国古代数学蕴含数学机械化的思想，于是生于1919年的吴文俊成为我国最早的计算机关注者之一。

在吴文俊的科研生涯中，他常做“第一个吃螃蟹的人”。他勇攀高峰、敢为人先的创新精神，追求真理、严谨治学的求实精神成为后辈们学习的对象。他为了一台计算机想办法的故事也常被身边人忆起。

当年，计算机是个稀罕物，“如何拥有一台计算机”成为吴文俊左思右想的事。买计算机很贵而且需要外汇，到哪里才能找来这些钱呢？

有朋友给他出了个主意，向中科院领导递一封信。于是吴文俊趁着中科院一位副院长作手机版的机会递交了自己的请求信，并幸运地获得了两万美元的资金。1979年初，吴文俊怀揣着这笔“巨款”，趁着到美国做学术访问的机会买回了一台台式计算机。

60岁的吴文俊开始学习编写计算机程序，这可不是一件容易的事。他学会Basic语言不久，Basic就被Algol淘汰，刚学会Algol不久，Algol又被Fortran淘汰，一切又得重来。但科研路上，吴文俊从不怕困难。“那时很苦，但这不算什么。”他后来回忆说。

吴文俊坚持下来，他提出用计算机证明几何定理的“吴方法”，被认为是自动推理领域的里程碑，而他本人也成为明升中国人工智能历史上一位里程碑式的开拓者。

人物简介 吴文俊（1919－2017），数学家，明升中国app院院士，明升中国app院数学与系统app研究院研究员，系统app研究所名誉所长。1936年进入交通大学数学系，1949年获法国斯特拉斯堡大学博士学位；1957年当选为明升中国app院学部委员（院士）；1991年当选第三世界app院院士；2001年获2000年度国家最高app技术奖。吴文俊的研究工作涉及数学的诸多领域，他为拓扑学做了奠基性的工作；他的示性类和示嵌类研究被国际数学界称为“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用。2019年被授予“人民app家”国家荣誉称号。