费氏数学观.pptVIP

弗赖登塔尔(Hans Freudenthal，1905—1990 ) 荷兰数学家、数学教育家，曾任国际数学教育委员会(ICMl)主席 数学家:20世纪30年代成就显著，享有盛誉，曾任荷兰数学会的两届主席． 数学教育家：（20世纪50年逐渐转向数学教育研究），观点独特，用数学家和数学教师的眼光审视一切，摆脱了“传统的”数学教育研究模式(“教育学”、“心理学”+数学例子） 数学教育理论与思想是他最重要的贡献。 弗赖登塔尔对现代数学特性的论述 1．数学表示的再创造与形式化活动 2．数学概念的建设方法 3．传统数学领域之间的界限月趋消失 4．算法数学与思辨数学。 1．数学表示的再创造与形式化活动 如果认真分析一下近几十年来数学的变化，就会发现：变的主要是它的外表形式，而不是它的内容实质。 这是一个自然演变的过程，在数学的各个领域内，逐渐渗透与发展了各种新知识与新词汇，最终汇成一个新潮流——形式化，这是组织现代数学的重要方法之一，也是现代数学的标志之一。 希尔伯特（形式主义奠基人） 《几何基础》1899年出版，经多次的修改， 目前一般引用1930年出版的第七版。 《几何基础》把欧几里得几何化为下列 的五组共二十条公理的体系： 第一组 接合公理 共八条，说明三组几何对象点、直线和平面之间的一种接合的关系。 第二组 顺序公理 共四条，说明直线上的点的相互关系。 第三组 合同公理 共五条，主要为处理图形的移动而引进的。 第四组 连续公理 共两条，说明直线的连续关系。 第五组 平行公理 只有一条，说明两直线间的平行关系。 　而这五组的公理也满足了公理体系的三个基本要求，即相容性、独立性和完备性。如果把这五组的公理稍作增减，便得出其他不同的几何空间，例如把平行公理中的欧几里得平行公理换为罗巴切夫斯基平行公理，那便把「欧几里得空间」换为「罗巴切夫斯基空间」。另外，满足前四组公理的几何，我们称之为「绝对几何」。 尼古拉·布尔巴基（Nicolas Bourbaki）是20世纪一群法国数学家的笔名。 布尔巴基的目的是在集合论的基础上，用最具严格性，最一般的方式来重写整个现代高等数学。他们的工作始于1935年，在大量的写作过程中，创造了一些新的术语和概念。 已知集合Q={x| x – 1 0},P={x|x+50}, 求Q∩P 2．数学概念的建设方法，从典型的通过外延描述的抽象化，进而转向实现公理系统的抽象化，承认隐含形式的定义，从而在现代科学方法论的道路上，迈开了决定性的一步。 就像下棋，人们并不在乎棋子的大小、颜色、甚至质地与形状，注重的恰恰只是棋子所必须服从的活动规则。 概率的定义 概率的公理化定义 3．传统的数学领域之间界限的月趋消失，一贯奉为严密性的典范的几何，表面上看来似乎已经丧失了昔日的地位，实质上正是几何直观在各个数学领域之间起着联络的作用。 现代数学的公理化形式就是来源于希尔伯脱的几何公理系，几何的术语如“空间”、“维”、“邻域”、“映射”、…等几乎渗入了数学的各个领域．复函数理论的发展，基础在于复数表示为平面的点；代数方程xn＝1的意义之阐明，与复数平面中正n边形的作法密切相关；集合论的研究更充分显现出几何直观的数轴、点集、映射、…等，如何作为一种重要的组织方法；测度论是在几何面积概念的基础上形成的，而拓扑中最有力的代数方法恰是开始于最基本的形状——多面体的直观研究。 没有概念的直观是无用的，没有直观的概念是盲目的。 --- 康德(Kant) 4．相对于传统数学中对算法数学的强调，应该认为现代数学更重视概念数学，或者说是思辨数学。 现代数学中开始了现代化进程的主要标志--- 集合论、抽象代数和分析、拓扑等都是概念。 思辨的喷发，它冲破了传统数学的僵化外壳，但是每个概念的革新，都包含着自身的算法萌芽，这是数学发展的道路。 4．相对于传统数学中对算法数学的强调，应该认为现代数学更重视概念数学，或者说是思辨数学。 一个典型的例子： 相同数量的一杯白酒与一杯红酒，取一匙白酒倒入红酒内，使之混和，再取同量的一匙混合酒倒入白酒内，试问，白酒杯中所含的红酒比红酒杯中所含的白酒多，还是正好相反? 庞加莱一生发表的科学论文约500篇、