小议数学悖论研究.pdf

2010年 12月 江苏教育学院学报 (自然科学) Dec．，2010 第26卷 第 l2期 JournalofJiangsuInstituteofEducationfNmuralSciences) Vol，26 No．12 小议数学悖论 凌 晓 牧 (江苏教育学院数学与信息技术学院，江苏南京 210013) [摘 要] 从悖论的起源谈起，给出了悖论的定义，介绍了数学史中三个著名的数学悖论—— “希帕索斯悖论”、 “贝克莱悖论”和 “罗素悖论”，及由此引发的三次数学危机．通过对这三个悖论的分析，讨论 了数学悖论的积极的方法 论意义，进一步说明我们不应害怕、回避数学悖论，应重视、研究数学悖论，充分发挥它的方法论功能，不断促进数学理 论向更高更深的层次发展与完善． [关键词] 悖论 ； 数学悖论； 数学危机 ； 数学方法论 [中图分类号] G02 [文献标识码] E [文章编号] 1671—1696(2010)12—0028一o3 今天我们关于悖论通用的说法是：如果某一理 一 、 什么是悖论 论的公理和推理原则看上去是合理的，但在这个理 从字面上讲就是荒谬的理论． 论中却推出了两个互相矛盾的命题，或者证明了这 关于悖论的起源，可以追溯到古希腊和我国先 样一个复合命题，它表现为两个互相矛盾的命题的 秦哲学时代．但是在那时及其往后的一段相当长的 等价式． 时期中，悖论往往泛指那些推理过程看上去是合理， 我们认为这样来定义悖论较为全面而合理，理 但是推理的结果却又违背客观实际．如著名的芝诺 由有三 ： 悖论中的阿基里斯追龟说：阿基里斯(一个善跑的猛 首先指明了任何一个悖论总是相对于某一个理 将)要追上在前面跑的乌龟，必须先到达乌龟的出发 论系统而言的． 点，而那时乌龟又已经跑过前面一段路了，如此这样 其次又指出了一个悖论可以表现为某一理论系 往复，因此阿基里斯永远也追不上乌龟．… 统中两个相互矛盾的命题的形式． 在历史上，还有另一种与之相反的情形而称之 最后才指出悖论也可集中表现为肯定等价于否 为悖论，那就是由于新概念的引入而违背了具有历 定的复合命题． 史局限性的传统观念，这就不是推理看上去好像是 二、悖论与三次数学危机 合理的问题，而是传统观念貌似事实的事了．例如伽 利略悖论：自古人们就认为 “整体大于部分”，现在有 公元前5世纪，人们对数系的认识还处于有理 两个数列 {1，2，3，4，……，n，……}和 {1，2，3，4， 数概念的早期阶段．古希腊的数学家毕达哥拉斯提 … … ， n，……}，“整体大于部分”的观点，第二个数 出了 “万物皆数”的论断，其数学体现就是 “一切现象 列中元素的个数会少于第一个数列．但是从对应的 均可表示为整数或整数之比”．此后该学派的成员希 角度看，第一个数列中的任意项 n总可以和第二个 帕索斯提出了一个新问题：两腰均为 1的等腰直角 数列中的n对应，因此两个数列中的元素是一样多 三角形的斜边长度是多少?他发现这一长度既不能 的． 用整数表示，也不能用分数表示．“希帕索斯悖论”导 [收稿 日期】2010一lO—l8 [作者简介]凌晓牧(1978一)，女，江苏南京人，江苏教育学院数学