第一讲 数学方法论数学史.pptVIP

最丰硕的成果：微积分 微积分是算法倾向还是演绎倾向的结果？ 为什么中国近代数学落后？ 近代数学不能在欧洲以外的其他地域发生？ 颇有影响的观点： 这些地域缺乏演绎传统 甚至认为： 中国古代没有演绎方法 ▲ 无穷小算法时期 微积分不是演绎倾向的结果，恰恰是算法倾向的结果！ 微积分的产生： 是寻找一系列实际问题的普遍算法的结果 如 瞬时速度、 极大（小）值、 求面积、体积、 求曲线的长度等 开普勒的积分学，实际上是测量酒桶的容积 泰勒公式、甚至十九世纪初福里叶的三角展开，都在很长时间内缺乏严格的证明，产生了二次数学危机。 牛顿发明微积分的个人背景也颇能说明问题 解析几何： 是算法精神的成果。 全部几何问题可以容易地被归纳一些线段的加减乘除开方 分析，抽象代数，希尔伯特原理等 三大特征： 分析的严格化 几何的非欧化 代数的抽象化 ☆ 近代数学与演绎倾向时期 超级计算机“深蓝”战胜卡斯帕诺夫 吴文俊： 等式型命题的机器证明 张景中： 机器证明的可读性问题的解决 杨路： 非欧几何定理证明的自动