小学数学 数学故事 吴氏方法

《小学数学 数学故事 吴氏方法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、吴氏方法【吴氏方法】数学家吴文俊关于几何定理机器证明的方法被国际上誉为“吴氏方法”；另外还有以他命名的“吴氏公式”。　　吴文俊，中国人，1919年5月12日生于上海。1940年毕业于交通大学，1949年在法国斯特拉斯堡大学获博士学位。1951年回国，1957年任中国科学院学部委员，1984年当先为中国数学理事长。吴文俊在数学上作出了许多重大的贡献。　　拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面

2、的卓越成就获中国自然科学奖一等获。　　机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。　　中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。