Kline数学与自然科学之哲学Weyl.pptVIP

* * * * * * * 列林格勒大学，布尔巴基学派 数学是科学的大门和钥匙。 ------Bacon 理性的艺术，思维的工具，科学的语言 理性的艺术，思维的工具，科学的语言 数学是不是自然科学？ 数学是科学的大门和钥匙。 ------Bacon 微积分发明权之争-----数学史上最不光彩的一页 数学是科学的大门和钥匙。 ------Bacon 楚汉之争 数学是科学的大门和钥匙。 ------Bacon 伯努利家族 数学是科学的大门和钥匙。 ------Bacon Leibniz是最大的赢家 在欧拉和伯努利兄弟的协助下，莱布尼兹事实上做到了阿基米德，牛顿，高斯做梦都想做但是都没做到的事情，他创立的符号体系被大家所认可，而一个外行人看不懂较为高深的数学的一道最直接的障碍就是数学里繁多的符号。然而如若没了这些符号，数学就没有了简洁美。 莱布尼兹去世的后一年，达朗贝尔出生了，他随后培养除了赫赫有名的法国3L，他们试图在为数学严密化做点什么，但是最终的完成是3L一起培养的Cauchy和另一位大师Weierstrass分别完成，此刻起数学的主要任务开始转向了谋求自身体系的完善而不是主要为自然科学服务了。 数学是科学的大门和钥匙。 ------Bacon 名师出高徒 Kummer Mobius Kronecker Eisenstein Reimann Dedekind Dirichlet Gauss手下的武当七侠 数学是科学的大门和钥匙。 ------Bacon 哥廷根的兴衰（建于1737年） 1795年 Gauss来到 哥廷根，哥廷根步入快速上升轨道 1851年 Gauss去世， Dirichlet和 Remiann 接班 1895年 Klein主持 哥廷根，引 进 Hilbert， 哥廷根进入 巅峰状态成 为数学人心 中的麦加 1943年 Hilbert去世， 哥廷根走向 没落 数学是科学的大门和钥匙。 ------Bacon 1901年的数学三大事件 3 舒尔提出群表示理论，开启抽象代数的研究 2 勒贝格提出勒贝格测度，开启实变函数的研究 1 罗素提出罗素悖论，引发第三次数学危机 数学是科学的大门和钥匙。 ------Bacon 世纪之交的三巨头 Poincare Kline Hilbert 数学是科学的大门和钥匙。 ------Bacon 20世纪初的数学发展趋势 发展趋势 更强的统一性 更深入的基础探讨 更高的抽象性 数学是科学的大门和钥匙。 ------Bacon 射影几何 Bolyai Remiann 罗巴切夫斯基 欧氏几何 双重椭圆几何 双曲几何 抛物几何 其他仿射几何 单重椭圆几何 Klein 关于几何统一的尝试 数学是科学的大门和钥匙。 ------Bacon Hilbert的尝试 相容性 公理体系内部的命题不自相矛盾 独立性 公理体系内的公理不能相互证明 完备性 公理体系内的任何命题能被证明正确或者错误 数学是科学的大门和钥匙。 ------Bacon 没有赢家的数学基础之争（都有硬伤） Kronecker Poincare Brouwer Weyl 直 觉 主 义 罗素 怀特黑德 逻 辑 主义 Hilbert 和其助手若干 形 式 主 义 数学是科学的大门和钥匙。 ------Bacon 演绎的地位得以提高 Unit of measure * Footnote Source: Source 实验归纳的在被弱化，因为归纳也需要演绎，归纳需要实验，有更强的自然科学背景 推理演绎成为数学发展的主流，曾经因为欧式几何的兴起而成为主流，因为代数的崛起而被弱化，现今中心地位 数学是科学的大门和钥匙。 ------Bacon 新兴学科内部的交叉 抽象代数 拓扑 泛函分析 拓扑群 算子环 线性拓扑空间 数学是科学的大门和钥匙。 ------Bacon 哥廷根的延续 Princeton Weyl 世界排名第一的数学系 哥廷根 Courant Courant 世界排名第一的应用数学研究所 数学是科学的大门和钥匙。 ------Bacon * 数学发展中心的迁移 古希腊 印、中、阿 意大利 英国 法国 德国 美苏 美国 Unit of measure 数学是科学的大门和钥匙。 ------Bacon 思 维 的 工 具 理 性 的 艺 术 数学 科 学 的 语 言 数学是科学的大门和钥匙。 ------Bacon * 自然科学 社会科学 思维科学 中科院院长路甬祥的看法 Unit of measure * Footnote Source: Source 数学是科学的大门和钥匙。 ------Bacon * 另一种科学的分类 * Footnote Source