Steiner问题--分角线相等的三角形(初等几何机器证明问题)(精)/现代数学中的著名定理纵横

作者: 吴文俊著

出版社: 哈尔滨工业大学出版社

出版时间: 2020-11

版次: 1

ISBN: 9787560390413

定价: 48.00

装帧: 精装

开本: 16开

页数: 76页

分类: 自然科学

6人买过

本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
    本书可供中学师生、大学师生及数学爱好者参考阅读。吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。
    吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。
    吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。第1章  一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章  传统证法与机器证法
第3章  机器证法举例
第4章  机器证法大意
第5章  机器证法再举例
第6章  回到前面的古老问题
第7章  “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗?
附录  大智为师――吴文俊先生访谈录
进一步阅读的参考资料
内容简介:
本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。
作者简介:
吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。
吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。
吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。
目录:
第1章  一个古老问题：两条内分角线相等的三角形是等腰三角形
第2章  传统证法与机器证法
第3章  机器证法举例
第4章  机器证法大意
第5章  机器证法再举例
第6章  回到前面的古老问题
第7章  “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗?
附录  大智为师――吴文俊先生访谈录
进一步阅读的参考资料