数学形式化及其存在问题.pdfVIP

维普资讯 16 数学通报 2006年 第45卷 第3期 数学形式化及其存在问题 王跃 红 (浙江衢州学院(筹)教育系 324000) 形式化是数学的本质特征之一 ，就连最简单的 第三，数学形式化是一个过程．是一个 “用 日益 2+3也已经具有显著的形式化特点．《普通高中数 有效 的符号或符号法来改进语言表达”的过程，是 学课程标准(实验)》把 “强调本质，注意适度形式 对 语“言的整理、修正和转化的过程”．是 “数学化” 化”作为课程的基本理念之一．我国的数学教育历 过程的有机组成部分 ． 程和现实已经显示出，把握数学教育中数学形式化 第四，应该从更广泛的意义上理解数学的形式 的适度性是一项有颇具难度的工作．要有效地改进 化．一方面，数学形式化不仅是指概念符号化、命题 这项工作，必须首先对数学教育中数学形式化及其 公式化、推理演算化．它包括对所有具体(相对而 存在的问题有较为清楚的认识，本文拟就这方面作 言)内容、对象、结构模式、过程、方法(包括解题方 一 些探讨． 法)进行数学的提炼、概括，并使具体上升为一般的 1 对数学形式化的理解 过程和结果的数学表达，也包括对理论体系的不断 笔者对数学形式化有以下理解：第一，数学形 提炼、组织和整理．例如，徐利治先生就从解决问题 式与数学形式化不是一个概念．数学形式化是一种 的方法中提炼出 “映射反演原则”，并用符号RMI表 用符号或符号的方法或技术来改进数学表达，对数 示．另一方面，应该拓展 “符号化”的含义 ，应该把使 学语言、理论进行整理、修正、转化和组织的过程 ． 用数学名词术语表达数学内容都看作数学形式化， 这种整理、修正、转化和组织的成果只是表达数学 至少是一定层次上的数学化． 内容本质的一种形式，我们可以把它称之为形式化 第五，数学形式化是有不同层次之分的，相对 的表达．但表达数学 内容本质 的形式可 以是多种 应地，作为数学形式化的结果也有不同的程度之 的，它未必是符号化的．事实上，数学中大量存在用 分．事实上，从产生数学知识的 “原材料”(指数学知 其他语言形式或思维形式来表达数学本质的现象， 识产生的生活背景和实践经验)，到零碎的数学知 如借助 日常文字语言、图形来表达数学，以及对数 识，再到实体的公理系统，进而到形式公理系统，是 学内容本质的心理表征等． 一 个数学化程度不断提高的过程 ，也是形式化程度 第二，数学离不开形式化．辩证唯物主义认为， 逐步提高的过程．具体到每个阶段，人们都在寻找 任何事物都有形式和内容两个侧面，都是形式和内 合适的形式来表达数学化不同阶段的相应内容本 容的统一体．数学科学中的形式除了符合上述普遍 质，人们熟知的函数概念便是一个很好的例子—— 意义的内容与形式的关系以外，还有其特殊之处 ， 从 “变量”说，到 “映射”说，再到 “关系”说．这是一个 逐步地摆脱数学对象的直观和具体 内容，使之趋向 这是因为数学的形式所反应的内容是 “思想材料”， 思想材料具有的含义隐性、高度概括的特点，需要 于更高的抽象程度的过程，同时也是符号化表达 这种含义精确、高度抽象、简洁的符号化表达．考察 气“味”愈来愈浓的过程．也就是说，在数学科学发 展进程中的不同阶段上 ，就体现出了数学形式化的 数学发展史，这种符号