数学与思维发展的关系.pptVIP

* 数学文化 公理化方法的作用 一门学科实现公理化的标志是: 1、它有一套基本术语/原始概念； 2、它有一组基本命题/原始命题/公理； 3、其余的概念全由原始概念出发定义，其余命题全由公理予以推理论证。 第一页，共二十九页。 公理化方法的作用 算术、几何、微积分、泛函分析、拓扑学、集合论、群论、概率论建立了公理化体系；力学、物理学、量子力学、热力学、统计力学利用了公理化方法；哲学、伦理学等也借鉴了公理化方法（康德、黑格尔、斯宾诺莎等）。我国教育理论也开始探讨教育科学的逻辑起点。 目的：提高本学科的逻辑化水平和科学化水平。 第二页，共二十九页。 公理化方法的作用 徐利治教授认为公理化经历了三个阶段： 实质公理化时期 形式公理化时期 元数学时期 第三页，共二十九页。 公理化方法的作用 实质公理化：欧几里德几何的出现，是对已有的不证自明事实的高度概括，明显依赖经验或感性直观。牛顿力学的公理化体系（即其三大定律）也呈现实质公理化特征。 形式公理化：非欧几何的出现，公里的起点进一步被形式化和符号化，籍此，希尔波特把欧氏几何也改造的更加形式化（点、线、面——桌子、椅子、啤酒杯） 第四页，共二十九页。 公理化方法的作用 元数学：概念成为符号；命题成了公式；推理成了公式变形；形式系统成为研究对象，数