送交者: guoxj 于 2005-4-16, 08:07:28:
回答: 我吴公式和吴方法都有谈到。 由 luantan 于 2005-4-15, 16:34:32:
吴文俊何许人也？中国数学家，数学史家，计算机科学家，第一届国家科学
大奖的两位获得者之一（另一个是袁隆平）。吴是陈省身的学生，传言他在法国
时是当时法国数学界青年三俊杰之一（其中一位获得了费尔茨奖），回国后他
38岁成为院士，继华罗庚后担任中科大数学系系主任（我个人认为吴是和华罗庚
齐名或者仅次于他的中国数学家）。吴在早期专攻拓扑学，现在拓扑学里有吴公
式，在很基础的书里，说明这个公式相当重要。吴在上世纪六七十年代开始研究
中国数学史，他结合中国古代数学和西尔伯特的公理化思想，发明了一种平面几
何定理的机器证明方法，开创了一个新的方向。他的方法通称为吴方法。吴文俊
并把他的方法推广到微分几何和代数几何上去，都极为成功。吴曾经在国际数学
家大会上专门报告中国数学史，可见他对中国古代数学极为推崇。秉承类似的思
想，张景中发展出一种用面积法证明几何定理的算法，以前那些超难的需要绝妙
辅助线的题目在他的方法面前都是小儿科，而且机器生成的证明经常比常规证明
简短。