逻辑、直观、美观和算法.pptVIP

数学哲学 质、量、维、度、论 理性、逻辑、直观、美观、算法 教材要点：自然科学发展的主要趋势（第八章） 自然科学的整体化 自然科学的社会化 自然科学的数学化 自然科学的整体化 任何一门学科都必须从科学的整体化中寻求自身的发展。 数学和其他一些横断学科的思想在各学科的共用。 自然科学、社会科学和思维科学的融汇 自然科学的社会化 科研组织大规模发展 科学家职业化 科学向社会机体全面渗透，使社会日益科学化。 自然科学的数学化 数学模型的建立 定量分析和数值运算 公理化方法的广泛运用 三种趋势的合一 数学思想的发展史 数学之成器（起源：数学的符号化） 数学之成大器（发展：数学的技术化） 数学之成大气候（现状：数学的信息化） 数学之成器：五个人 欧几里德（古希腊） 笛卡尔（法） 伽利略（意） 莱布尼茨（德） 牛顿（英） 欧几里德揉泥（点阵）——抽象材质 对自然作逻辑的、数学的探索的概念主要来自于欧几里得的《原本》。 所有基于数学的物理知识的逻辑化结构通过这本书进入了理性世界。 笛卡尔转盘（解析几何）——思想动力 在研究客观世界时，笛卡尔相信数学足够了，他明确指出科学的实质就是数学。 为什么世界可用数学来解释，他坚持认为物质最基本最可靠的性质就是形状、延展性和在时空中的运动，而所有这些都是可用数学描述的。 伽利略做坯（物理原型）——连续函数 受数学的研究方式的启发设想物理学的研究程序。 寻求用公式来描写物理过程。 “他是第一个给我们打开通向整个物理领域的门的人。” 莱布尼茨添柴（积分工具）——无限性 普通符号逻辑与代数逻辑的综合 “关于真实世界与数学世界之间一致性的解释，和他对于他的微积分可以应用到现实世界的最后的辩护词是：世界与上帝是统一的。因此现实的规律不能偏离数学的理想的规律。”（《古今数学思想》第2册P380） 牛顿把桩（万有引力）——数学成品 牛顿在《自然哲学的数学原理》（1687年）一书中写道：“古人在研究自然事物时，力学最为重要，而今人们则舍弃其实体化的形式和深藏的实质，而力图以数学定律说明自然现象。” 牛顿的《原理》是物理解释的墓志铭。 数学之成大器：五个字 质、量、维、度、论 研究对象的复杂化要求兼容并蓄：品质、数量、方向、规格。 现实物理的深刻性要求大器能容：质子、量子、维数、测度。 多条表述路径与多种理论层次要有其独立性、完备性、简明性和相容性。 质：数与形 代数类：从实数到复数到超限数（向量与矩阵），从函数到复变函数到泛函数 几何类：从平面到曲面，从刚性几何到橡皮几何（拓扑学）等。 量：少与多 从有限离散量到无限连续量（“群”之置换、“环”之旋转与“向量”之空间） 从常微分方程与偏微分方程的求解 从极点、极值与极限的标准分析到非标准分析 维：疏与密 从一维、二维到三维再到四维（时间维） 从整数维到分数维 度：内与外 爬山看路：距离空间由带标度的测度空间来定。 莫比乌斯扭面：有边无内无外。 质量和维度在物理学中的应用 质量主要用于解释物体在时间中的运动。 维度主要用于解释能量在空间中的集聚。 开始运动，影响质量：脚步越来越沉。 打破维度，需要能量：蚂蚁翻越边界。 论：精确表述与逻辑证明 数论、图论与集合论 从绝对精确到相对精确：模糊数学与概率统计 从绝对完备到相对完备：悖论与哥德尔不完备性 哥德尔证明包括着数论的任何系统都必定含有不可断定的命题。 拆字游戏 质：二串贝壳。 量：明白多重。上日下重 维：大绳网纲。天有九柱，地有四维。《楚辞》：斡维焉系？天极焉加？ 度：庶民手长。群众公认的标准。 论：语言集合。 数学之成大气候：五个词 理性、逻辑、直观、美观和算法 数学基础：［美］克莱因把数学基础归为四个方面：集合论的公理化运动、逻辑主义、直观派、形式派。 现今又有计算主义的说法。 数学与理性 理性：天然的合理性。 人类由对事物的感性认识得到的认识可以上升为较高层次的理念，这便是理性——永恒的现实和思想的真实载体。 青睐抽象还有一个原因，欲使数学更强有力，就必须在一个抽象概念中包涵它所表示实物的本质特征。 数学与逻辑 逻辑：语言和词句。呈现判断或主张的合法性。 逻辑的数学化使得数学变成只有逻辑的空壳。 罗素：把数学奠基在逻辑上，不需要任何的数学公理，数学不过是逻辑的主题和规律的自然延展。但是逻辑的公设和它们所有的推论是任意的，而且还是形式的。 “数学是这样一门学科，在其中我们永远不会知道我们所讲的是什么，也不会知道我们所说的是不是真的。” 数学与直观 直观，即后验逻辑。 直观主义者去分析，有哪些逻辑原则是可以容许的，以使通常的逻辑符合于正确的直观。 数的概念本身来自于经验。 康德：时间和空间的形式依我们的心智所定，所谓时间和空间只是我们感知的一种模式。 算术和几何基本结构的公理适用性有限，