2000年国家最高科学技术奖数学大师是谁

2024-11-02 07:48:03 155次

问题描述：

2000年国家最高科学技术奖数学大师是谁希望能解答下

教育图书

茫茫人海、遇到就是缘分刷到了请您一定要记得关注我呦谢谢你...

2024-11-02 07:48:03

著名数学家吴文俊，荣获2000年度“国家最高科学技术奖”。

吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。

70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。