数学中的悖论
悖论是一种认识矛盾,它既包括逻辑矛盾、语义矛盾,也包括思想方法上的矛盾。 数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。
在古希腊时代,克里特岛的哲学家埃庇米尼得斯(约公元前6世纪)发现的“说谎者悖论”可以算作人们最早发现的悖论。公元前4世纪的欧布里德将其修改为“强化了的说谎者悖论”。在此基础上,人们构造了一个与之等价的“永恒的说谎者悖论”。埃利亚学派的代表人物芝诺(约490B.C.—430B.C.)提出的有关运动的四个悖论(二分法悖论、阿基里斯追龟悖论、飞矢不动悖论与运动场悖论)尤为著名,至今仍余波未息。
在中国古代哲学中也有许多悖论思想,如战国时期逻辑学家惠施(约370B.C.—318B.C.)的“日方中方睨,物方生方死”、《庄子·天下篇》的“一尺之棰,日取其半,万世不竭”;《韩非子》中记载的有关矛与盾的悖论思想等,这些悖论式的命题,表面上看起来很荒谬,实际上却潜伏着某些辩证的思想内容。
在近代,著名的悖论有伽利略悖论、贝克莱悖论、康德的二律背反、集合论悖论等。在现代,则有光速悖论、双生子佯谬、EPR悖论、整体性悖论等。这些悖论从逻辑上看来都是一些思维矛盾,从认识论上看则是客观矛盾在思维上的反映。尽管悖论的历史如此悠久,但直到本世纪初,人们才真正开始专门研究悖论的本质。在此之前,悖论只能引起人们的惊恐与不安;此后,人们才逐渐认识到悖论也有其积极作用。特别是本世纪60、70年代以来,出现了研究悖论的热潮。
数学悖论作为悖论的一种,主要发生在数学研究中。按照悖论的广义定义,所谓数学悖论,是指数学领域中既有数学规范中发生的无法解决的认识矛盾,这种认识矛盾可以在新的数学规范中得到解决。数学中有许多著名的悖论,除前面提到的伽利略悖论、贝克莱悖论外,还有康托尔最大基数悖论、布拉里——福蒂最大序数悖论、理查德悖论、基础集合悖论、希帕索斯悖论等。数学史上的危机,指数学发展中危及整个理论体系的逻辑基础的根本矛盾。这种根本性矛盾能够暴露一定发展阶段上数学体系逻辑基础的局限性,促使人们克服这种局限性,从而促使数学的大发展。
跟无限相关的悖论
{1,2,3,4,5,…}是自然数集:
{1,4,9,16,25,…}是自然数平方的数集。
这两个数集能够很容易构成一一对应,那么,在每个集合中有一样多的元素吗?
伽利略悖论
我们都知道整体大于部分。由线段BC上的点往顶点A连线,每一条线都会与线段DE(D点在AB上,E点在AC上)相交,因此可得DE与BC一样长,与图矛盾。为什么?
芝诺悖论——阿基里斯与乌龟
公元前5世纪,芝诺用他的无穷、连续以及部分和的知识,引发出以下著名的悖论:他提出让阿基里斯与乌龟之间举行一场赛跑,并让乌龟在阿基里斯前头1000米开始。假定阿基里斯能够跑得比乌龟快10倍。比赛开始,当阿基里斯跑了1000米时,乌龟仍前于他100米;当阿基里斯跑了下一个100米时,乌龟依然前于他10米……所以,阿基里斯永远追不上乌龟。
预料不到的考试的悖论
一位老师宣布说,在下一星期的五天内(星期一到星期五)的某一天将进行一场考试,但他又告诉班上的同学:“你们无法知道是哪一天,只有到了考试那天的早上八点钟才通知你们下午一点钟考。”
你能说出为什么这场考试无法进行吗?
电梯悖论
电梯悖论:在一幢摩天大楼里,有一架电梯是由电脑控制运行的,它每层楼都停,且停留的时间都相同。然而,办公室靠近顶层的王先生说:“每当我要下楼的时候,都要等很久。停下的电梯总是要上楼,很少有下楼的。真奇怪!”李小姐对电梯也很不满意,她在接近底层的办公室上班,每天中午都要到顶楼的餐厅吃饭。她说:“不论我什么时候要上楼,停下来的电梯总是要下楼,很少有上楼的。真让人烦死了!”
这究竟是怎么回事?电梯明明在每层停留的时间都相同,可为什么会让接近顶楼和底层的人等得不耐烦?
硬币悖论
硬币悖论:两枚硬币平放在一起,顶上的硬币绕下方的硬币转动半圈,结果硬币中图案的位置与开始时一样;然而,按常理,绕过圆周半圈的硬币的图案应是朝下的才对!你能解释为什么吗?
谷堆悖论
谷堆悖论:显然,1粒谷子不是堆;
如果1粒谷子不是堆,那么2粒谷子也不是堆;
如果2粒谷子不是堆,那么3粒谷子也不是堆;
……
如果99999粒谷子不是堆,那么100000粒谷子也不是堆;
……
如果1粒谷子落地不能形成谷堆,2粒谷子落地不能形成谷堆,3粒谷子落地也不能形成谷堆,依此类推,无论多少粒谷子落地都不能形成谷堆。这就是令整个古希腊震惊一时的谷堆悖论。
从真实的前提出发,用可以接受的推理,但结论则是明显错误的。它说明定义“堆”缺少明确的边界。它不同于三段论式的多前提推理,在一个前提的连续积累中形成悖论。从没有堆到有堆中间没有一个明确的界限,解决它的办法就是引进一个模糊的“类”。这是连锁(Sorites)悖论中的一个例子,归功于古希腊人Eubulides,后来的怀疑论者不承认它是知识。“Soros”在希腊语里就是“堆”的意思。