[·吴氏方法]数学家吴文俊的几何定理的机械证明方法在国际上被称为“吴氏方法”;还有以他命名的“吴公式”。
吴文俊,中国人,1919年5月12日出生于上海。他于1940年毕业于交通大学,1949年获得斯特拉斯堡大学博士学位。他于1951年回到中国,1957年成为中国科学院院士,1984年成为中国数学的首任主任。吴文俊在数学方面做出了许多重要贡献。
在拓扑学方面,在演示类和演示嵌入类领域取得了一系列的成果,并获得了许多著名的公式,指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形和其他问题上有创造性的工作。1956年,吴文俊因在拓扑学和金石学方面的杰出成就获得中国自然科学奖一等奖。
在机器证明方面,从初等几何开始,在计算机上证明了一类困难的定理。同时,发现了一些新的定理,并进一步讨论了微分几何的定理证明。提出了一种用机器证明和发现几何定理的新方法。这项工作为数学研究开辟了一个新领域,并将对数学革命产生深远的影响。1978年,他获得全国科学大会重大科技成果奖。
就中国数学史而言,吴文俊认为中国古代数学的特点是:从实际问题出发,分析和改进问题,提炼出一般的原则、原则和方法,最终达到解决一大类问题的目的。他还对中国古代数学在数论、代数和几何方面的成就提出了精辟的见解。