湘教版高中数学选修3-1机器证明领域中国数学家的重要突破.pptVIP

机器证明领域中国数学家的重要突破 新课导入 1977年，中国著名数学家吴文俊院士在《中国科学》上发表题为《初等几何判定问题的机械化证明》的论文，提出证明等式型几何定理的一种新方法，国际上把这一方法称为“吴法”。 一、吴文俊 吴文俊，1919年5月12日出生于上海，祖籍浙江嘉兴，数学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，系统科学研究所名誉所长。 一、吴文俊 吴文俊毕业于交通大学（现上海交通大学、西安交通大学）数学系，1949年，获法国斯特拉斯堡大学博士学位；1957年，当选为中国科学院学部委员（院士）；1991年，当选第三世界科学院院士；2001年2月，获2000年度国家最高科学技术奖。 二、吴教授的数学研究活动 吴文俊教授的数学研究活动，可分为前后两个时期，涉及到好几个数学领域，在代数拓扑和机器证明两个领域有重大贡献，对数学研究影响深远。前期自1947年至70年代，以代数拓扑为主，他的贡献主要有两个方面。 第一方面 示性类研究： 通过Grassmann流形对在30年代由瑞士Stiefel，美国Whitney，苏联Pontrjajin和陈省身通过不同途径引入的示性类进行了系统的论述，确定了名称，探讨了相应关系，并应用于流形的构造。 第一方面 他引入的上同调类，后来在文献中被称之为吴示性类，他提出的蕴含拓扑不变性和同伦不变性的两个公式，后来都被称之为吴公式。由于这些结果的根本重要性，在多种问题中被广泛应用，如50年代德国的Dold ，60年代德国的Hirzebruch苏联的Novikov并因而获Fields奖，美国的Bott与Milnor等等。 第二方面 示嵌类研究： 他引入具有非同伦拓扑不变量的一种一般构造方法，并系统地用之于嵌入问题，引入了复合形示嵌类，并用同样方法研究浸入问题与同痕问题，引入类似的示浸类与示痕类。瑞士Haefiger由于在1958年听到了他关于上述示嵌类研究工作的讲学，于1961年将嵌入问题作了重要推广，因而成为瑞士主要拓扑专家。 第二方面 美国Smale应用他的工作于维数大于4的Poincare猜测，并因而获Fields奖。他后来应用关于示嵌类的成果于电路布线问题，给出线性图平面性的新的判定准则，与以往的判定准则在性质上完全不同，尤其是可计算。 谢谢！