数学的起源与发展课件

算法倾向、演绎倾向算法倾向、演绎倾向数学思想方法论数学思想方法论作为学科的数学方法论作为课程的数学方法论数学方法论与其它学科的关系辩证唯物主义哲学数学思想方法数学教学论数学学习论数学数学史逻辑学基础数学思想方法论作为学科的数学方法论作为课程的数学方法论数学方1算法倾向、演绎倾向算法倾向、演绎倾向主要内容主要内容第一讲 数学方法论数学史第二讲 对数学及其方法的认识第三讲 数学只有考试价值吗第四讲 抽象方法第五讲 数学概念的文化性第六讲 数学判断与命题（一）第六讲 数学判断与命题（二）第七讲 数学证明与趣谈主要内容第一讲 数学方法论数学史2算法倾向、演绎倾向算法倾向、演绎倾向主要内容主要内容第八讲 演绎法与公理思想的影响第九讲 数学中的类比法第十讲 归纳推理的文化及内涵第十一讲 数学归纳法第十二讲 数学化归方法第十三讲 数学悖论与其三大学派第十四讲 研究的一般方法第十五讲 思维及其数学思维主要内容第八讲 演绎法与公理思想的影响3算法倾向、演绎倾向算法倾向、演绎倾向1 亚历山大洛夫,数学,它的内容、方法和意义2解恩泽等 数学思想方法纵横谈3王仲春等 数学思维与数学方法论4徐利治 数学方法论选讲5波利亚 数学与发现合情推理6张奠宙 数学方法论稿7郑毓信 数学方法论主要参考书1 亚历山大洛夫,数学,它的内容、方法和意义主要参考4算法倾向、演绎倾向算法倾向、演绎倾向8 郑毓信.数学文化学9 张维忠.文化视野中的数学与数学教育10 Paul Ernesl.齐建华译,数学教育哲学11 张楚廷.数学文化12 齐民友.数学与文化13 (美)M克莱因，张祖贵译，西方文化中的数学14 H.伊夫斯.欧阳绛译,数学史上的里程碑15 李文林.数学史概论8 郑毓信.数学文化学5算法倾向、演绎倾向算法倾向、演绎倾向16 L.A.怀特，文化的科学,17 Carl B.Boyer 唐生译微积分概念发展史18 M.Kline.古今数学思想(2)19 Edward，C.H.张理京译 微积分发展史 20 田怀录.微积分与牛顿，莱布尼兹.21高希尧.世界数学史略22 袁小明.数学史话23 汪晓勤，韩祥临.中学数学中的数学史 16 L.A.怀特，文化的科学,6算法倾向、演绎倾向算法倾向、演绎倾向1悠久的历史文化，精彩的数学归纳法2利用对数文化，“活化”对数教学3重温圆的名题，体验数学文化4利用历史文化，加强三角教学5利用文化特性，加强数学教学 数学教学研究或数学通报6品味圆锥曲线，体验历史文化7重温历史文化，体验复数创新 1悠久的历史文化，精彩的数学归纳法数学教学研究或数学通报7算法倾向、演绎倾向算法倾向、演绎倾向第三节 数学发展的动力第一节 数学史分期（一）第二节 数学史分期（二）第一章 数学的起源与发展第三节 数学发展的动力第一节 数学史分期（一）第8算法倾向、演绎倾向算法倾向、演绎倾向 数学萌芽时期 常量数学时期 变量数学时期 近代数学时期 现代数学时期第一节 数学史分期（一）数学萌芽时期 常量数学时期 变量9算法倾向、演绎倾向算法倾向、演绎倾向 数学的对象天文历法的计算土地长度的丈量面积、体积的计算商业交往中的运输、变换的计算返回第一节往下页 数学萌芽时期 （公元600年以前）数学的对象天文历法的计算返回第一节往下页 数学10算法倾向、演绎倾向算法倾向、演绎倾向中国、埃及、巴比伦、印度 中国：记数的十进位制（金文、甲骨文）矩 （周髀）平行线、面（墨经）极限思想（庄子）埃及：金字塔 纸草书（莱茵特、莫斯科）主要发明创造中国、埃及、巴比伦、印度 中国：记数的十进位制（11算法倾向、演绎倾向算法倾向、演绎倾向 巴比伦：帐单、收据、票据 天文学：能测定五大行星的周期，预测日、月食的沙罗周期 泥版书：二次方程问题、计算矩形、直角三角形、梯形等图形面积、平行六面体、柱体的体积、建立了60进位制 巴比伦：帐单、收据、票据 天文12算法倾向、演绎倾向算法倾向、演绎倾向计算方法、测量方法，自然数、分数，简单图形的概念，初步的算术和几何知识以及一些运算间的关系计算方法、测量方法，13算法倾向、演绎倾向算法倾向、演绎倾向 研究的对象：数量和图形 概念形成较缓，无严谨的科学体系 出现一些数学概念与数学符号，产生具有一定关系和规律的数学系统算术，从思想和方法上为建立数学理论奠定了基础。返回萌芽时期首页 数学发展的特点 研究的对象：数量和图形 概念形成较14算法倾向、演绎倾向算法倾向、演绎倾向公元前5世纪公元17世纪初 数学的对象 采用逻辑方法建立完整、统一、独立的科学 在相对静止状态下保持不变的数量和图形 以常量为主要研究对象返回第一节 常量数学时期（初等数学时期）公元前5世纪公元17世纪初 数学的对象 15算法倾向、演绎倾向算法倾向、演绎倾向完善算术,建立几何、代数和三角等学科 欧氏几何原本 算经十书 其中以九章算术为杰出代表 阿尔.花拉子模的代数学 刘微的九章算术注 德国的里基奥蒙田纳斯论一般三角形 阿基米德的算术 主要发明创造完善算术,欧氏几何原本 算经十书 16算法倾向、演绎倾向算法倾向、演绎倾向 纯 粹的研究对象数量与图形 具体实验阶段抽象理论阶段 抽象方法、逻辑方法演绎体系 建立了算术、代数、几何、三角等分支 返回常量时期页 数学发展的特点 纯 粹的研究对象数量与图形 17算法倾向、演绎倾向算法倾向、演绎倾向17世纪中叶至19世纪20年代 数学的对象 客观事物在运动变化的状态下数量和图形 主要发明创造 解析几何 级数论 微积分 复变函数论 微分方程 实变函数论 微分几何 画法几何学返回第一节 变量数学时期17世纪中叶至19世纪20年代 数学的对象 18算法倾向、演绎倾向算法倾向、演绎倾向 数学的研究对象发生了质的变化 数学的思想、方法出现新特点 解析几何、微积分 数学分析占主导地位 数学与自然科学相互促进返回变量首页 数学发展的特点 数学的研究对象发生了质的变化 数学的思想、19算法倾向、演绎倾向算法倾向、演绎倾向19世纪20年代20世纪40年代 数学的对象 几何、代数、分析向更一般化、抽象化、多样化发展 数学方法成为数学研究的对象 数学研究对象：定义在任意性质的元素集上的运算和关系，由于遵循的公理系统不同而形成不同的数学结构。返回第一节往下页 近代数学时期19世纪20年代20世纪40年代 数学的对象 20算法倾向、演绎倾向算法倾向、演绎倾向 三大转折：微积分 数学分析解析几何 高等几何方程 高等代数傅里叶级数 函数概念有重大突破非欧几何 空间概念有重大突破伽罗华理论 代数运算概念有重大突破实变函数、集合论、数理逻辑 三大突破：三大理论：主要发明创造 三大转折：微积分 数学分析傅里叶21算法倾向、演绎倾向算法倾向、演绎倾向 这个时期，数学发生了一系列的本质变化：罗巴切夫斯基 非欧几何阿贝尔、伽罗华 近世代数波尔察诺、柯西分析的逻辑基础 数学发展的特点 数学的革命、创造的自由化 研究对象更一般化、抽象化、多样化 数学的发展趋于统分结合 应用越来越广泛 数学新问题层出不穷回近代数学首页 这个时期，数学发生了一系列的本质变化：罗巴切夫斯基22算法倾向、演绎倾向算法倾向、演绎倾向20世纪40年代 数学对象 结构和模型 主要发明创造 应用数学大发展 计算机的成功和广泛应用 基础数学的飞速发展返回第一节 现代数学时期20世纪40年代 数学对象 结构和模型23算法倾向、演绎倾向算法倾向、演绎倾向 数学发展的特点 应用数学蓬勃发展 数学抽象化程度进一步加强 以集合论为基础，数理逻辑成为推理的依据 计算机的产生和应用 基础数学理论的飞速发展 数学发展的特点 应用数学蓬勃发展 24算法倾向、演绎倾向算法倾向、演绎倾向恩格斯：常量数学、变量数学十七世纪以来，解析几何、微积分成为数学发展史上的里程碑西方也把数学划分为 几何、代数（算术），将数学史划分为几何倾向、代数倾向。数学史分类:算法倾向和演绎倾向第二节 数学史分期（二）恩格斯：西方也把数学划分为数学史分类:第二节 数学史分25算法倾向、演绎倾向算法倾向、演绎倾向所谓算法倾向，指具有如下特征：着重算法的概括、而不讲究命题的推理形式；着重算法不只是单纯的计算，也是是为了解决一整类实际或科学问题而概括出来的、带一般性的计算程序，力求规格化，便于机械化的重复迭代。数学史上,算法倾向、演绎倾向总是交替地取得主导地位。中国数学和西方数学是两大世界数学的代表所谓算法倾向，指具有如下特征：数学史上,中国数学和西方数学26算法倾向、演绎倾向算法倾向、演绎倾向吴文俊曾指出：“以九章算术为代表的中国古代传统数学，与以欧氏几何原本为代表的西文数学，代表着两种不同的体系，其思想和方法各程特色。前者着重应用和计算，其成果往往以算法的形式表达，后者则往往着重概念和推理，其成果一般是以定理的形式表达前者的思维方式是构造性的和机械化的。后者则往往是偏重存在唯一以及概念间的相互联系等非构造性纯逻辑思维吴文俊曾指出：“以九章算术为代表的中国古代传统数学，与以欧氏27算法倾向、演绎倾向算法倾向、演绎倾向 原始算法的积累时期 古希腊演绎几何时期 算法的繁荣时期 近代数学与演绎倾向倾向时期 机器证明的算法倾向时期 原始算法的积累时期 古希腊演绎几何时期28算法倾向、演绎倾向算法倾向、演绎倾向初等算法：整数、分数的算术运算法则，如中国的九九乘法口诀简单的代数方程（一元二次方程）的解算简单几何图形的面积、体积计算公式埃及的纸草书（莫斯科纸草书、莱茵特纸草）、巴比伦泥版书 原始算法积累时期（公元前六世纪）初等算法：简单的代数方程（一元二次方程）的解算简单几何图形的29算法倾向、演绎倾向算法倾向、演绎倾向中国数学的起源1 出土的文物中数字与图形十多万年前，山西“丁村人”石球、尖状器；五六千年前，云南忙怀的石砧（圆柱、台）6000年前，西安半坡圆形的柱、台，球，还有棱形、三角形、长方形等图案；4500年前，上海马桥陶片上五、十、七数字。前1600前1600，商代甲骨文有110的自然数有3万大数；西周（公元前1066年公元前771年，金文有110数字字形，20、40等数字题目。中国数学的起源1 出土的文物中数字与图形十多万年前，山西30算法倾向、演绎倾向算法倾向、演绎倾向 早期数学的积累易经成书于周初，六十四卦用符号体系。分为河图、洛书。河图八卦形状；洛书九宫 早期数学的积累易经成书于周初，六十四卦用符号体系。分31算法倾向、演绎倾向算法倾向、演绎倾向数学的起源与发展课件32算法倾向、演绎倾向算法倾向、演绎倾向早在战国时期运用分数，管子、墨子、商君书、考工记等书出现了分数和一般的算术运算，已有乘法表（即九九表或九九口诀）春秋战国时代，手工业、土木工程等发展积累了较多的几何知识，以墨翟为代表的墨家学派贡献较大，其墨子 “平，同高也”。“圆，一中，同长也”“圆，规写交也”筹算、十进位位值制早在战国时期运用分数，管子、墨子、商君书、考工33算法倾向、演绎倾向算法倾向、演绎倾向数学的起源与发展课件34算法倾向、演绎倾向算法倾向、演绎倾向数学的起源与发展课件35算法倾向、演绎倾向算法倾向、演绎倾向刘徽刘徽:出入相补原理刘徽:出入相补原理36算法倾向、演绎倾向算法倾向、演绎倾向九章算术的特色主要有：有明显的社会性和实用性的特征；算法为中心、形数结合的算法体系；筹算进行计算 书中的成 果主要体现在构造图形 “解体用图”的方法，构建特殊图形论证几何的定理和公式九章算术的特色主要有：37算法倾向、演绎倾向算法倾向、演绎倾向公元前600公元初希腊学者如泰勒斯等，接触并熟悉那里的经验几何计算规则，并产生了证明这些法则的想法。毕达哥拉斯证明了不少的几何命题，如三角形内角和为两直角，勾股定理，按一定的逻辑顺序把已知的命题排列起来欧几里得(前三世纪)最终建立系统的演绎几何体系 希腊演绎几何时期公元前600公元初希腊学者如泰勒斯等，毕达哥拉斯欧几里得38算法倾向、演绎倾向算法倾向、演绎倾向数学史上一个悬而未决的问题:希腊人为什么不满足于经验的几何法则而坚持要给出演绎的证明？数学是怎样具体地从原始算法向系统的演绎科学过渡？为什么要选择几何而不是算术(代数)?为什么在希腊而不在别的地方发生?数学史上一个悬而未决的问题:希腊人为什么不满足于经验的几何法39算法倾向、演绎倾向算法倾向、演绎倾向数学史上的第一次危机 无理数 的出现受古希腊哲学的影响亚里士多德的三段论法则柏拉图的门口写着：“不懂几何者不得入内”爱利亚学派的辩论术数学史上的第一次危机受古希腊哲学的影响柏拉图的门口写着：“不40算法倾向、演绎倾向算法倾向、演绎倾向公元初十七、十八世纪中世纪的东方算法无穷小算法时期 中世纪的东方算法 算法的繁荣时期公元初十七、十八世纪中世纪的东方算法 中世纪41算法倾向、演绎倾向算法倾向、演绎倾向（中国，印度）遍乘直除”算法例 今有上禾三秉，中禾二秉，下禾一秉，实三十九斗；上禾二秉，中禾三秉，下禾一秉，实三十四斗；上禾一秉，中禾二秉，下禾三秉，实二十六斗。问上、中、下禾实一秉各几何。（九章算术NO.8）答曰：上禾一秉，九斗四分之一；中禾一秉，四斗四分之一；下禾一秉，二斗四分之三。术曰：置上禾三秉、中禾二秉、下禾一秉，实三十九斗于右方，中左列如右，中世纪的东方算法（中国，印度）遍乘直除”算法例 今有上禾三秉，中禾二42算法倾向、演绎倾向算法倾向、演绎倾向 割圆术算法(祖率)3.14159263.1415927 开方算法 面积、体积算法 正负开方术（高次方程的数值解法）“大衍求一术”算法 （一次同余组）“盈不足术”（契丹方法）四元术 招差术 割圆术算法(祖率)开方算法 面积43算法倾向、演绎倾向算法倾向、演绎倾向最丰硕的成果：微积分微积分是算法倾向还是演绎倾向的结果？为什么中国近代数学落后？近代数学不能在欧洲以外的其他地域发生？颇有影响的观点：这些地域缺乏演绎传统甚至认为：中国古代没有演绎方法 无穷小算法时期最丰硕的成果：微积分微积分是算法倾向还是演绎倾向的结果？为什44算法倾向、演绎倾向算法倾向、演绎倾向微积分不是演绎倾向的结果，恰恰是算法倾向的结果！微积分的产生：是寻找一系列实际问题的普遍算法的结果如 瞬时速度、极大（小）值、求面积、体积、求曲线的长度等开普勒的积分学，实际上是测量酒桶的容积泰勒公式、甚至十九世纪初福里叶的三角展开，都在很长时间内缺乏严格的证明，产生了二次数学危机。微积分不是演绎倾向的结果，恰恰是算法倾向的结果！微积分的产生45算法倾向、演绎倾向算法倾向、演绎倾向CD奥里斯姆与伽利略 物体变速运动，速度 用直线OB表示 三角形OAB的面积 CD奥里斯姆与伽利略46算法倾向、演绎倾向算法倾向、演绎倾向（二）（二）47算法倾向、演绎倾向算法倾向、演绎倾向数学的起源与发展课件48算法倾向、演绎倾向算法倾向、演绎倾向牛顿发明微积分的个人背景也颇能说明问题解析几何：是算法精神的成果。全部几何问题可以容易地被归纳一些线段的加减乘除开方牛顿发明微积分的个人背景也颇能说明问题解析几何：49算法倾向、演绎倾向算法倾向、演绎倾向分析，抽象代数，希尔伯特原理等三大特征：分析的严格化 几何的非欧化 代数的抽象化 近代数学与演绎倾向时期分析，抽象代数，希尔伯特原理等三大特征：近代数学与50算法倾向、演绎倾向算法倾向、演绎倾向超级计算机“深蓝”战胜卡斯帕诺夫吴文俊：等式型命题的机器证明张景中：机器证明的可读性问题的解决杨路：非欧几何定理证明的自动生成和可读性问题 不等式的机器证明取得了相当的成功。机器证明的算法倾向时期超级计算机“深蓝”战胜卡斯帕诺夫吴文俊：等式型命题的51算法倾向、演绎倾向算法倾向、演绎倾向一、数学与现实世界的关系二、人们对数学的认识三、数学发展的动力 第三节 数学发展的动力一、数学与现实世界的关系二、人们对数学的认识52算法倾向、演绎倾向算法倾向、演绎倾向辩证唯物主义对数学的看法纯数学来源于经验；以客观事物的空间形式与数量关系作为研究对象；数学来源于外部世界又脱离外部世界而发展；数学的发展遵循辩证规律。二、人们对数学的认识对数的概念的认识；自然数自然数有理数有理数实数实数复数复数一、数学与现实世界的关系辩证唯物主义对数学的看法纯数学来源于经验；二、人们对53算法倾向、演绎倾向算法倾向、演绎倾向 对图形的认识 几何图形是人们对客观事物的 形象、位置关系、大小的能动反映 对函数关系的认识对客观事物运动变化中的量的关系的能动的反映 对图形的认识 几何图形是人们对客观事物54算法倾向、演绎倾向算法倾向、演绎倾向 所有与曲线上的点有关的量称为函数。（莱布尼兹）用任意方法由变量和常量组成的量叫做这个变量的函数。（贝努利）欧拉给了三个定义。柯西定义：黎曼定义：狄里克雷定义：用对应定义函数：豪斯多夫用序偶定义函数：用关系定义函数：函数的几种定义：所有与曲线上的点有关的量称为函数。（莱布尼兹）55算法倾向、演绎倾向算法倾向、演绎倾向 社会实践活动向数学提出问题，促进数学发展记数、计数数及符号长度、面积、体积几何量地球、晶体等物体形式空间形式天文学需要球面几何和三角学行星、物体运动解析几何求瞬时速度、曲边梯形面积等微积分赌博、保险业概率论三、数学发展的动力 社会实践活动向数学提出问题，促进数学发展记数、计56算法倾向、演绎倾向算法倾向、演绎倾向 从数学理论与新经验矛盾中提出问题，促进数学发展负数、无理数、复数、非欧几何等产生 数学理论本身的矛盾中提出问题，促进数学发展无穷小量极限理论、实数理论、集合论数学基础中的矛盾模型论、数理逻辑等 从数学理论与新经验矛盾中提出问题，促进数学发展负数57