公理与假说异同论——兼论数学科学与教育的特殊性.pdfVIP

维普资讯 第 30卷第4期 辽宁师范大学学报 (自然科学版) VoI．30 No．4 2007阜 12月 JournalofLiaoningNormalUniversity (NaturalScienceEdition) Dec． 2007 文章编号 ：i000—1735(2007)04—0410—04 公理与假说异同论 兼论数学科学与教育的特殊性 王青建， 杜雨珊， 刘 余 (辽宁师范大学 数学学院，辽宁 大连 116029) 摘 要 ：以历史上经典案例为证，阐述公理与假说在定义与应用中的异同，指出它们虽然都是科学发展的理论基础， 起着对不同学科理论创建的奠基作用，但在初期二者命题设立的基础、内窖接受的对象和理论发展的方式上有本质差 异，并 由此导致数学科学与数学教育有别于其他学科分支特殊性的表现，以及公理作为科学数学化趋势标志的原 因． 关键词 ：公理 ；假说 ；数学科学 ；数学教育 中图分类号 ：G4O一55 文献标识码 ：A 任何一种科学理论都有 自己的理论基础 ，即其理论体系建立最初 的落脚点．对数学科学来说，它的理论基础是公理． 自古希腊欧几里得 《几何原本》(Elements，公元前 300年)建立第一个公理体系 以来 ，公理就与数学结缘．19世纪数学又 开始公理化运动 ，传统分支学科纷纷建立公理体系．旁观其他学科 ，却不是这种情形，它们 的理论基础基本上是靠假说． 仔细分析这～现象，对数学科学的特殊性会有进一步的认识． 1 公理的定义与作用 “公理”～词在 《现代汉语词典》中的定义是：“①经过人类长期反复实践的考验 ，不需要再加 以证 明的命题 ，例如：如 果 A=B，B=C，则 A=e②社会上多数人公认 的道理 ，[与此类似 ，大型工具书 《辞海》里的解释是 “社会上公认的正确 道理”和 “在一个演绎系统中不需证 明而作为出发点的初始命题．”《辞海》里举 的例子就是欧几里得 《几何原本》中的 公理 [2]． 《简明不列颠百科全书》中 “公理”(axiom)的定义是：“按照亚里士多德的意见，公理是不可论证的第一原理，一切论 证性科学都必须从这一原理开始．”其下也举了 《几何原本》的例子[3]．《科学学辞典》称公理是 “不需要证 明而接受下来的 少数规定．公理的 自明性是人类长期实践的产物．，[20世纪 9O年代 出版 的 《数学百科全书》则简称之 “基本 的假设，自 明的原理．”[ 从 以上各类书 中的定义可 以看出，公理具有 以下特点 ：自明性 ，不需要或不可论证；基础性 ，是一切论证性科学作为 出发点的初始命题 ；大众性，是人类长期反复实践的产物 ，还引申为社会上多数人公认的道理． 以欧几里得 《几何原本》为例．该书第一卷给 出5个公理和 5个公设 (公设是特指数学 中的公理，现在统称为公理)： 公理 1．等于同量 的量彼此相等 ；公理 2．等量加等量 ，其和仍相等 ；……公理 5．整体大于部分．公设 1．由任意一点到任意 一 点可作直线 ；公设 2．一条有限直线可 以继续延长 ．．．… ·公设 5．同平面 内一条直线和另外两条直线相交，若在某一侧 的 两个 内角和小于二直角，则这二直线经无限延长后在这一侧相交I6J． 这些公理公设除了第五公设外，都非常浅显易懂．而稍有数学知识 的人也会很快理解第五公设．这说 明几何学的公 理有广泛的公众基础．实 际上，正是人们对多少有一点 “不太 自明”的第五公设 的讨论 ，最终导致非欧几何学的产生． 2 假说的定义与作用 《现代汉语词典》里的假说等同于假设的下列解释 ：“科学研究上对客观事物的假定的说 明，假设要根据事实提 出，经 过实践证明是正确 的，就成为理论．”Ⅲ 《辞海》中假说是 “亦称 假‘设 ’．以已有事实材料和科学理论为依据而对未知事实 或规律所提出的一种推测性说明，即假定．如关于太阳系起源的假说．，【《逻辑学辞典》与此类似，称假说为；“对事物存 在的原因或规律性作 出有根据 的假定说明．”下面举出关于天体演化的假说，关于火星上可能有生