离散数学英文讲义：1-Paradoxes.pptVIP

Paradoxes Supplement of Section 1 （paradox，也称逆论，反论） 逻辑学和数学中的“矛盾命题”,是指一种导致矛盾的命题。 悖论的定义可以这样表述：由一个被承认是真的命题为前提，设为B，进行正确的逻辑推理后，得出一个与前提互为矛盾命题的结论非B；反之，以非B为前提，亦可推得B。那么命题B就是一个悖论。当然非B也是一个悖论。 悖论(paradox)来自希腊语“para+dokein”，意思是“多想一想”。这个词的意义比较丰富，它包括一切与人的直觉和日常经验相矛盾的数学结论，那些结论会使我们惊异无比。 古今中外有不少著名的悖论，它们震撼了逻辑和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。 悖论有三种主要形式。 1．一种论断看起来好像肯定错了，但实际上却是对的（佯谬）。 2．一种论断看起来好像肯定是对的，但实际上却错了（似是而非的理论）。 3．一系列推理看起来好像无懈可击，可是却导致逻辑上自相矛盾。 1. 最简单的形式是： “我在说谎” 如果他在说谎，那么“我在说谎”就是一个谎，因此他说的是实话；但是如果这是实话，他又在说谎。矛盾不可避免。 “这句话是错的” 这类悖论的一个标准形式是：如果事件Ａ发生，则推导出非Ａ，非Ａ发生则推导出Ａ，这是一个自相矛盾的无限逻辑循环。 2. 理发师悖论 在萨维尔村，理发师挂出一块招牌：“我只给村里所有那些不给自己理发的人理发”有人问他：“你给不给自己理发？”理发师顿时无言以对。 如果理发师不给自己理发，他就属于招牌上的那一类人。有言在先，他应该给自己理发。 反之，如果这个理发师给他自己理发，根据招牌所言，他只给村中不给自己理发的人理发，他不能给自己理发。 3.集合论悖论 “Ｒ是所有不包含自身的集合的集合。” 人们同样会问：“Ｒ包含不包含Ｒ自身？”如果不包含，由Ｒ的定义，Ｒ应属于Ｒ。如果Ｒ包含自身的话，Ｒ又不属于Ｒ。 继罗素的集合论悖论发现了数学基础有问题以后，１９３１年歌德尔（Kurt Godel ，１９０６－１９７８，捷克人）提出了一个“不完全定理”，打破了十九世纪末数学家“所有的数学体系都可以由逻辑推导出来”的理想。 4.苏格拉底悖论 苏格拉底有一句名言：“我只知道一件事，那就是什么都不知道。” 有“西方孔子”之称的雅典人苏格拉底（Ｓｏｃｒａｔｅｓ，公元前４７０－前３９９）是古希腊的大哲学家，曾经与普洛特哥拉斯、哥吉斯等著名诡辩家相对。 他建立 “定义”以对付诡辩派混淆的修辞，从而勘落了百家的杂说。但是他的道德观念不为希腊人所容，竟在七十岁的时候被当作诡辩杂说的代表。 在普洛特哥拉斯被驱逐、书被焚十二年以后，苏格拉底也被处以死刑，但是他的学说得到了柏拉图和亚里斯多德的继承。 “言尽悖” 这是《庄子·齐物论》里庄子说的。后期墨家反驳道：如果“言尽悖”，庄子的这个言难道就不悖吗？ “世界上没有绝对的真理” 我们不知道这句话本身是不是“绝对的真理”。 《墨子·经说下》中有一句话： “南方有穷，则可尽；无穷，则不可尽。” 如果在有限中引进无限，就可能引起悖论。 1. 阿基里斯悖论 阿基里斯（Ａｃｈｉｌｌｅｓ）是希腊神话中善跑的英雄。 芝诺讲：阿基里斯在赛跑中不可能追上起步稍微领先于他的乌龟，因为当他要到达乌龟出发的那一点，乌龟又向前爬动了。阿基里斯和乌龟的距离可以无限地缩小，但永远追不上乌龟。 龟兔赛跑的故事： 当然兔子速度比乌龟快，如果让乌龟先跑一段距离，兔子然后在后面追，那么兔子永远也追不上乌龟。 假设乌龟先走，走到a点兔子开始追； 当兔子追到a点，乌龟已向前走了一段，假设b点； 当兔子追到b点，乌龟又前走了一段。。。。。。 一直下去，兔子只能无限的接近乌龟，却永远也追不上乌龟。 方励之先生曾经用物理语言描述过这个问题：在阿基里斯悖论中使用了两种不同的时间度量。 一般度量方法是：假设阿基里斯与乌龟在开始时的距离为Ｓ，速度分别为Ｖ１和Ｖ２。 当时间Ｔ＝Ｓ／（Ｖ１－Ｖ２）时，阿基里斯就赶上了乌龟。 但是芝诺的测量方法不同：阿基里斯将逐次到达乌龟在前一次的出发点，这个时间为Ｔ‘。对于任何Ｔ’，可能无限缩短，但阿基里斯永远在乌龟的后面。 关键是这个Ｔ‘无法度量 Ｔ＝Ｓ／（Ｖ１－Ｖ２）以后的时间。 2. 二分法悖论 这也是芝诺提出的一个悖论： 当一个物体行进一段距离到达Ｄ，它必须首先到达距离Ｄ的 二分之一，然后是四分之一、八分之一、十六分之一、以至可以无穷地划分下去。 因此，这个物体永远也到达不了Ｄ。 这些结论在实践中不存在，但是在逻辑上无可挑剔。 若你站在距离龟100米的地方,速度是龟的10倍 当你跑到龟的位置,也就是跑了100米的时候,龟也已经向前跑了10米 当你再追