GEB一条永恒的金带

Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage1of127怪圈1.1绘画与音乐中的怪圈我第一次知道埃舍尔的名字是在十多年前。那时我津津有味地看着诺贝尔物理学奖金的获得者杨振宁博士所著的小册子《基本粒子发现简史》。我特别注意到杨振宁先生在前言中对埃舍尔先生允许他采用《骑士图》表示深深的谢意。我被这张图深深地吸引住了，因为埃舍尔以优美的图形及其镜像巧妙地表现了对称性的原理。这些原理在物理学的世界中起着极为重要的作用。可惜，迄今为止，中国人一般还不熟悉埃舍尔的作品，但是在西方他是一位别具一格、极有影响的画家。埃舍尔创造了一系列富有智慧的图画，其中有许多画体现了奇妙的悖论、错觉或者双重的含义。因此，在埃舍尔作品的崇拜者中间有许多数学家也就不足为怪了。当我们慢慢欣赏埃舍尔的画并在其中发现那些美妙的数学原理时，那是一种多么愉快的享受啊！埃舍尔的画往往表现了一些很深刻的思想，怪圈就是其中最常见的一种。我们先来看看那幅奇怪的版画《瀑布》(图1)。在画面的中央，瀑布倾泻而下，水花四起，还推动了水轮。汇集到水池中的水则顺着水渠哗哗地流去，一级一级地下降。突然水又流到了瀑布口！真是不可思议，可是在画面上却表现得明明白白。我们只能把这种周而复始的圈称作“怪圈”。我们再看那幅《上升与下降》(图2)。在这冰冷阴森的教堂里，僧侣们排成两队往前走。其中一队总是沿着楼梯往上走，另一队总是往下走。可是他们走的却是同样的楼梯，并且不断地回到原来出发的地方。真是妙不可言。这又是一个怪圈。所谓怪圈就是指这样一种现象，我们在某一个等级系统中逐步上升(或者下降)，结果却意外地发现又回到了原来开始的地方。有时我就用“缠绕的层次”来描述其中有怪圈的体系。怪圈还要在本书中一再出现，忽上忽下，时隐时显，希望读者能够细细地体会它的内在含义。Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage2of127有趣的是在音乐中也有这样奇妙的怪圈。为此我们先介绍一下近代西方音乐的鼻祖，被誉为“音乐之父”的J·S·巴赫。巴赫是颇负盛名的钢琴家、风琴家和作曲家。当时的普鲁士国王弗里德利希是他的崇拜者。他把62岁的巴赫邀请到自己的宫廷来，并向他展示了自己收藏的钢琴。这种钢琴在当时还是问世不久的珍品。巴赫在每一架钢琴上进行即兴表演，使得弗里德利希大为倾倒。当巴赫返回莱比锡后，他收到了国王自己创作的一部分乐谱。巴赫在这些乐谱的基础上写成了举世闻名的主题乐曲《音乐的奉献》，并把它奉献给弗里德利希国王。巴赫在这部作品中充分发挥了形式上的技巧。有趣的是，在这种登峰造极的技巧中就包含着怪圈。为了理解音乐创作中的怪圈，我们必须先谈谈“卡农”。卡农是音乐家们熟悉的，它就是重复地演奏同一主题。最简单的方式既是用不同的音部重复演奏，每个音部都比前一个音部延迟一段时间。大部分乐曲的主题与这种演奏方法是不协调的。适合多音部的主题必须使每个音符具有双重(或多重)的功能，它既是主题中的一部分，又必须与其他音部保持和谐。在《音乐的奉献》中，用一种特殊的卡农技巧构成了怪圈。它由三个音部组成。当最高音部演奏主题时，其余两个音部提供卡农式的协奏。这种卡农最大的特点就是神不知鬼不觉地进行变调，使得结尾最后能很平滑地过渡到开头。这种首尾相接的变调使听众有一种不断增调的感觉。在转了几圈之后，听众感到已经离开原来的调很远了。可是奇妙的是通过这样的变调又能回到原来的调上。这就是音乐中的怪圈。我们可以体会巴赫的创作意图，无疑他有这样一种想法，采用这种方法可以使升调的过程无限地进行下去。因此他在乐谱上专门注上了“陛下的荣耀也随着变调而增高”。我们不妨把这种卡农称为“无限升高的卡农”。Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage3of127如果我们把“无限升高的卡农”与埃舍尔的画《瀑布》以及《上升与下降》作个比较，就可以发现两者的相似性是极为明显的。巴赫和埃舍尔采用不同的艺术形式：音乐和美术，却表现了同样的思想：怪圈。埃舍尔用绘画表现的怪圈有许多不同的形式，有松弛的也有紧凑的。在《上升与下降》中，这种怪圈是比较松弛的，僧侣们要经过许多级才能返回原处。而在“瀑布”中怪圈就要紧凑一些，它总共只有6级。你也许已经想到了，这里“级”的计算有含糊不清之处。例如我们可以把《上升与下降》的系统算成是45级(按台级算)，也可以算成是4级(按楼梯算)。这种模棱两可性不仅表现在埃舍尔的画的怪圈上，也表现在其他形式怪圈的系统中。更紧凑的怪圈可以在《画画的双手》(图22)这幅画中看到。而最紧凑的怪圈要数《画廊》(画23)了。这幅画中之画包含着自身。我们可以说画廊中的一幅画包含着它自身，也可以说这个城市包含着它自身。怪圈的内在含义也是在有限中包含无限的概念。它不仅仅是一个圈，而且是埃舍尔纳著名作品《变形》(图4)中表现得极为明显。我们从作品的某点出发，随着画面的逐级变化而向前走去，走着走着却突然回到了原来出发的地方。1.2怪圈与悖论在巴赫和埃舍尔创造的这些怪圈中，存在着无限与有限的矛盾，荒唐与真实的对比，往往会给人以强烈的悖论感。这种直觉表明，在怪圈中包含着深刻的数学原理。事实也确实如此。就在我们生活的这个世纪里，有一个影响深远、与之呼应的重大数学发现，这就是哥德尔在数学系统中发现了怪圈。这种怪圈可以说是起源于一个古老的逻辑悖论。它在历史上被称为爱皮梅尼特悖论。Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage4of127爱皮梅尼特是—个克里特岛人。他说：“所有的克里特岛人都撤谎。”假如他说的话对的，那么作为克里特岛人的爱皮梅尼特就是在撤谎，那么他的话就是错的。反之，假设他的话不对，那么作为克里特岛人的爱皮梅尼特就没有撒谎，他的话就是对的。无论采用哪一种假设，都是无法自圆其说的。我们也可以把这个悖论表述成更为简洁的形式。这就是“我说的这句话是错的”。这是和《画廊》一样的单级怪圈。因为这个句子中的“话”可以指这个句子本身。这就是说一个句子在描述这个句子本身。以后人们又发现了许多其他形式的悖论。尤其是在本世纪初，随着集合论与数理逻辑的发展，在数学和逻辑中发现了许多悖论。其中最著名的有康托尔悖论和罗素悖论。在这些悖论中好像都有一个共同的“犯罪”，这就是自我相关，或者就是我们所说的“怪圈”。罗素悖论用形象的语言来描述，就是有一位理发师声称，他给所有不给自己理发的人理发。那么这个人是否给自己理发呢？如果他给自己理发，就违背了自己的声明。如果他不给自己理发，也没有兑现自己的诺言。用集合论的述语来说，罗索悖论就是定义这样一个集合A，它由所有不属于A的元素a组成。那么A是否属于它本身呢?如果A不属于A，那么按照集合A的定义，它就属于A。如果A属于A，那么按照定义它就是不属于A的元素。显然在罗素悖论中，最关键的地方就是假定一个集可以自己属于自己。这就是自我相关。因此，要想排除悖论很自然就会想到，要防止自我相关和造成自我相关的条件的出现。罗索和怀特海就是在这种思想的指导下写出《数学原理》的。他们竭力想把“怪圈”从逻辑、集合论以及数论中驱除出去。他们的基本思想是把集合分成各种等级。最低一级的集合只能以那些“对象”而不能以其他集合为元素。较高一级的集合只能以对象或者更低级的集合为元素。这样每个集合都被安置在某一个等级上，也就排除了一个集合以自己为元素的可能性。Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage5of127如果我们把所有的集合分成两类。第一类集合不能以自己为元素，也就是说自己不能属于自己，我们称为r型。第二类集合可以以自己为元素，我们称为s型。那么在《数学原理》规定的系统中就只有r型的集合。这样进行分级，可以使集合论中不再出现悖论。但是付出的代价是必须引进人为的分级和禁止生成某种类型的集合。例如所有集合的集合，或者所有不属于A的集合，也就是我们所说的s型集合。这种理论可以用来对付罗素悖论，但是无法对付爱皮梅尼持悖论。因为用同样的方法对付爱皮梅尼特悖论就要对语言进行分级。于是就有所谓的对象语言、有描述语言的元语言，还有描述元语言的元元语言，等等。我们模仿《画画的双手》把上述悖论写成两句的形式：下面这句话是错的。上面这句话是对的。如果按照分级理论的规定，上面这句话是描述下面这句活的，因此它属于更高一级。但是按照同样的道理，下面这句话应该比上面这句话属于更高一级。因此这两句话不能同时满足分级理论的要求，也就是说它们不能同时有意义。如果说把集合进行分级的理论还是貌似有理的，那么把语言进行分级就是十分荒唐的。当我们谈论各种事物时，是决不会意识到自己在不同的层次之间上窜下跳的。例如“我在这本书中评论了分级的理论”。这是很普通的一句话。但是在严格分级的语言系统中它就要受到双重的禁止。首先，在这句话中谈到了“这本书”，它只能在“元书”所属的层次中出现，而不能在“这本书”所属的层次中出现。其次，这句话居然谈到了我，这是我无论如何不允许谈论的。这个例子清楚地说明了，如果把严格分级的理论引进我们所熟悉的日常语言中来，将是多么荒谬。由此可见，如果用Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage6of127这种方式来弥补由于悖论出现而造成的缺陷，即排除任何形式的自我相关，实际上是走过头了。它把美妙的语言结构变成了没有价值的僵尸。也许有入会辩解说，这种分级的理论可以适用于形式语言而不是我们用的日常语言。但总这恰好说明了，这种理论只有在我们人为拼凑的系统中，为了避免悖论才有用处。而为此作出的牺牲，却是在这种人为的系统中加上生硬的限制。这样的理论系统虽然是一致的，却是乏味的、令人生厌的。你一定会感觉到这里有什么地方不对头了。不过还应该指出的是，在本世纪韧，数学家们并没有把语言中无法排除怪圈看得那么严重。他们至少可以这样安慰自己，语言是不严格的，而数学却是严密无隙的，只要能在数学理论中排除怪圈就可以了。于是数学家们为自己确立了这样的目标，建立一座形式系统的大厦，过座大厦的基石是一些公理，然后严格按照形式逻辑推导出系统中的每一个定理，而整个系统是完全确定的，不会相互矛盾的。在这样的系统中可以排除任何悖论的出现。这就是《数学原理》的目标，它要用逻辑来推导出所有的数学成果而又不会产生矛盾！这种目标确实是激动人心的，但是当时谁也无法肯定，采用罗素和怀特海所提供的方法，能否囊括所有的数学成果；也无法知道，这种方法能否永远保持一致，即完全排除悖论的出现。杰出的德国数学家(也是研究数学基础的元数学家)希尔伯特沿着罗素开辟的道路勇往直前。他向数学界提出了一个明确的任务：严格地按照罗素和怀特海所描述的方法，证明《数学原理》所定义的系统既是一致的(无矛盾)又是完备的(该系统的理论框架中容纳了每个正确的数论命题)。这就是数学史上著名的希尔伯特纲领。当希尔伯特提出这个纲领后，就有人尖刻地批评这种说法是一种循环，你怎么能呢？这似乎是要抓住自己的头发把自己举起来。(我们看来是无法摆脱这种该死的怪圈了。)Createdon12/6/20061:51:00PMModifiedon10/22/202010:56:00PMPage7of127希尔伯特意识到这种困难性。他进一步加以说明，这种关于一致性和完备性的证明只能依赖于“有限”的推理步骤。这个目标曾经在本世纪的前30年中使许多伟大的数学家绞尽脑汁。但是到了1931年，哥德尔发表了他的论文《论＜数学原理＞中形式上不可判定的命题及其有关系统I》。这篇论文彻底推翻了希尔伯持纲领，因为它指出了没有一种公理系统可以导出数论中所有的真实命题，除非这种系统是不一致的，即存在着互相矛盾的悖论。因此企图证明《数学原理》所示系统的一致性是徒劳的。如果能够找到一种证明