从吴文俊和吴方法谈起讲解学习.pptVIP

从吴文俊和吴方法谈起;;　 最近，著名数学家吴文俊荣获邵逸夫数学科学奖。邵逸夫数学科学奖是一项国际性大奖，它的评委是来自国际数学界的知名权威。吴文俊说：这次邵逸夫奖的评委都是国际上有影响的大家，他们宣布我获得邵逸夫奖，是因为我的数学机械化问题的研究，这实际上是国际数学界对数学机械化研究的承认与肯定，它比奖金重要得多。 ;中央电视台《大家》栏目：《吴文俊·我的不等式》片断;数学机械化：从设想到实现;数学机械化：从设想到实现;笛卡尔的设想;莱布尼???之梦;希尔伯特的构想;哥德尔的著名结果;塔斯基的判定法;王浩：迈向数学机械化;吴文俊：机器证明领域的新的一页 ; 《吴文俊·我的不等式》片断;三角形三条高线交于一点的代数证明; ;Morley定理;机器方法容易证明Morley定理;吴方法概要;吴方法概要（续）;对吴方法的评价;中国古代数学的贡献;中国古代数学的特色;机械化思想是中国古代数学的精髓;数学机械化的广泛应用;从开普勒定律到牛顿定律;微分几何定理机器证明;机器人与连杆机构的运动分析;机器人与连杆机构的运动分析;曲面连接问题;杨-Baxter方程与量子群;脑力劳动的机械化;机械化思想促进数学发展;展望数学机械化的未来