皇帝新脑-第17章

按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！


10010111010l10011101010100100101011101010100110100010100010101101001000000001011101001101000100101010110100011010001010000011010100110100010101001011010000110100010100101011010010011101001010010010111010l10011101010100100101011101010100110100010100010101101001000000001011101001101000100101010110100011010001010000011010100110100010101001011010000110100010100101011010010011101001010010010111010l10011101010100100101011101010100110100010100010101101001000000001011101001101000100101010110100011010001010000011010100110100010101001011010000110100010100101011010010011101001010010010111010l1001110101010010010101110101010011010001010001010110100有进取心的读者可把一台效率高的家庭用电脑，以正文中给出的方法，应用于不同的简单的图灵机号码中验证上面的号码事实上的确给出了一台普适图灵机的动作行为！对图灵机的不同明记方法可使u的值降低一些。例如，我们可以免除stop，而相反地采取这样的规则，即只要机器在某个其他非0的内态后重新进入内态0时它就停止。这样做没有太多收益（如果有的话）。如果我们允许磁带有比仅仅0和1的更多的记号，则能得到更大的收益。在文献中的确描述过显得非常简洁的普适图灵机。但是，由于它们一般地依赖于图灵机描述的极其复杂的编码，所以这种简洁性是骗人的。8．参阅德伏林（1988）的和这一著名断言相关事体的非技术性讨论。

　　9．我们再次简单地应用前面进行的步骤，当然也能击败这个改善了的算法。然后我们可以用这新的知识去进一步改善我们的算法；但是我们又可将其击败等等。这一递归步骤所导致的这类考虑将在第四章第125页的和哥德尔定理联系起来讨论。

　　第三章数学和实在托伯列南国

　　想象我们到某一遥远世界作远程旅行。我们称这一遥远世界为托伯列南国。现在把我们的遥感仪器收集到的信息展现在面前的屏幕上。调好焦距后就看到了图3。1。

　　图3。1　奇异世界之第一瞥。

　　它为何物？它是一只形状古怪的昆虫吗？也许它是一个深颜色的并有许多山溪注入的湖泊。也许它是一座巨大的形状奇特的异国城市，公路沿着不同方向散开到附近的小镇和乡村去。它也许为一个岛屿――让我们寻找看在附近是否有和它相连接的陆地。我们可以后退一些，把我们的感觉仪器的放大倍数减少十五倍左右。　嗬，　整个世界进入了我们的视界之内　（图3。2）。图3。2　整个“托伯列南国”。箭头这下标出了在图3。1、图3。3和图3。4中的放大部分的位置。我们在“岛”在图3。2中看起来成为标记“图3。1”下的小斑点。除了一条连接到右手的裂缝上去的以外，从原先岛上出发的小片断（溪流、路径、桥梁？）全部都终结了。该裂缝最终接到我们在图3。2画出的大得多的物体上去。这个更大的物体虽然和我们第一次看到的岛不完全一样，但明显地相似。如果我们更仔细地审视这一物体和海岸线相像的东西，就发现多得数不清的圆形的瘤状结构。每一结构自身又具有类似的瘤。似乎每一小瘤都在某一微小的地方附在一个更大的瘤上，由此在大瘤上产生出许许多多的小瘤。当图像变得更清楚时，人们就看到了从这个结构发出的成千上万根的细丝。这些细丝在不同的地方分叉并常常剧烈地弯折。在细丝的某些点，我们似乎看到了具有现有的放大倍数的感觉仪器所不能分析的复杂扭结。很显然，这物体不是实际的岛屿或陆地，也不是任何风景。

　　或许我们看到了某种怪诞的甲虫。我们首先看到的是它的婴儿，它用某种丝线状的脐带安静地把自己连接在母体上面。让我们把感觉仪器的放大倍数提高十倍，再来考察这个怪物的一个瘤的性质（图3。3――其位置在图3。2中的“图3。3”的标志的下面）。这个瘤本身和怪物整体非常相似――除了在接触点以外。请注意在图3。3中的不同地方五根细丝并到一块。这个特定的瘤似乎有一确定的“五性”（正如在最上面的瘤具有“三性”一样）。如果我们考察下一个相当尺度的瘤，在图3。2中稍微向左下方一点，我们就会在附近发现“七性”，再下一点为“九性”，并以此类推。当我们进入图3。2中的两个最大区域之间的裂缝，就会发现右边的瘤以奇数来表征，每回增加二。让我们钻到裂缝深处，把图3。2再放大十倍左右（图3。4）。我们看到其他许多小瘤以及扭转的结构。在右边称为“海马谷”的区域可鉴别出某些微小的涡旋状的“海马尾巴”。――如果放大倍数足够大的话，我们就将看到不同的“海乌贼”或者别具花样的区域。这也许的确是某种奇异的海岸线――也许是所有各色各样生命产生的珊瑚。看起来像是花的东西在更高的放大倍数下显得是由成千上万个微小，但同时却是不可思议的复杂的结构组成，每一结构都有极多的丝状物和扭转的涡旋尾巴。让我们稍微仔细地考察一个较大的海马的尾巴，也就是在图3。4中刚好能见到标志为“图3。5”的那个（它附在具有“二十九性”的瘤上面！）。大约再放大250倍左右，我们就得到了画在图3。5中的涡旋。我们发现这个尾巴非同寻常，它是由最复杂的、前后扭曲的、无数的小涡旋以及像章鱼和海马那样的区域组成。图3。3一个具有“五性”的细丝的瘤。

　　图3。4主狭缝：在右下方可见到“海马谷”。

　　图3。5海马尾巴的近窥。

　　图3。6两个涡旋会合处的进一步放大细节。在中心点处刚刚可以见到一个小婴儿。图3。7婴儿在放大之后就显得和整个世界很相似。

　　在这个结构的许多地方刚好有两个涡旋碰到一起。让我们把放大倍数增加三十倍左右，以考察其中一处　（在图3。5中的标志　“图3。6”的下面）。请注意，我们是否发现了中间有个奇怪但非常熟悉的对象？再放大六倍左右（图3。7）就能揭示出一个怪物的小婴儿――它几乎和我们考察过的整个结构完全一样！如果我们细看，就会发现从它那里出发的细丝和从主结构那里出来的略有差别。它们扭曲并延伸到更远得多的距离去。然而比细小结构本身几乎和它的上一代毫无差别，甚至在非常相应的地方拥有自己的后代。如果我们还进一步放大，就能继续考察这些东西。孙子们又非常类似于它们的共同祖先――人们很容易相信，这些现象会无限地延续下去。只要不断地提高我们感觉仪器的放大倍数，就可随心所欲地探索托伯列南的奇异世界。我们发现了无穷尽的变化：没有两个区域是完全相像的――但是我们很快就会习惯于存在的一些普遍的风格。而熟知的类甲虫的结构以越来越小的尺度重新出现。每一回它的附近的细丝结构都和早先看到的不同，并以不可置信的复杂的美妙的新景象呈现在我们的面前。使我们目瞪口呆地奇异的、变化多端的、美妙的、复杂的国土究竟为何物呢？许多读者无疑已经知道。但还有一些读者不知道。这世界只不过是一点抽象数学――称为孟德勒伯洛特集1的集合。尽管它无疑是复杂的，却是由极其简单的规则产生的！为了恰当地解释该规则，我首先得解释什么是复数。除了这里以外，在将来还有用。它对于量子力学的结构，所以也就是我们生活其中的世界的运行是绝对基本的。它们构成了数学中的一个伟大奇迹。为了解释何为复数，首先得提醒读者何为“实数”。另外，弄清概念和“真实世界”的实在的关系也是非常有益的。实　数我们知道自然数可被罗列如下：0，1，2，3，4，5，6，7，8，9，10，11，…

　　这些是不同种类数中最初等和最基本的。任何分立的对象都可以用自然数予以量化：我们可以讲田地里有二十七只绵羊，可以讲两次闪电，十二个晚上，一千个词，四次谈话，零个新观念，一个错误，六位缺席者，两次方向改变等等。自然数可以相加或相乘以得到新的自然数。它便是上一章给出的关于算法的一般讨论的对象。

　　然而某些重要的运算会把我们带到自然数王国之外――最简单的是减法。为了系统地定义减法，我们需要负数；为此目的我们建立了整数的整个系统…，…6，…5，…4，…3，…2，…1，0，1，2，3，4，5，6，7，…。一定的事物，譬如电荷、银行的存款或者年份①可用这类数来量化。然而，这些数的范围仍然过于局限。这是由于把一个数除以另一个数时，我们仍然不能畅通无阻。相应地，我们需要分数或有理数。

　　0，1，…1，1/2，…1/2，2，…2，3/2，…3/2，1/3，…。

　　这一些对于有限算术的运算已经足够。但是为了许多更好的目的，我们还得走得更远些，以包括无限或极限运算。例如，大家熟悉的在数学上极其重要的量π就在许多这类无限的表式中出现。我们有如下特例：

　　π=2｛（2/1）（2/3）（4/3）（4/5）（6/5）（6/7）（8/7）（8/9）…｝以及π=4（1…1/3＋1/5…1/7＋1/9…1/11＋…）。

　　（这些是著名的表式。　第一式是由英国数学家、　语法学家兼速算家约翰？瓦里斯在1655年首次得到的；而第二式实际上是苏格兰数学家兼天文学家（以及第一台反射望远镜的发明者）　詹姆斯？　格里高里在1671年得到的。）

　　正如π那样，以这种方法定义的数不必是有理数（也就是不具有n/m的形式，这里n和m是整数，m不为零）。为了包括这样的量，数的系统必须被推广。

　　这个推广的数的系统被称为“实”数系统――就是那些可以无限小数展开的熟悉的数，譬如…583。70264439121009538…

　　按照这样的表述，π可写成众所周知的表式π=3。14159265358979323846…正有理数的平方根（或立方根或四次方根等等）是还能以这种方法表达的数的类型，例如①　实际上，关于年份的通常惯例并不与此完全相符，这是因为零年被忽略去了。2　=　1。41421356237309504…；或者任何正实数的平方根（或立方根等等），正如伟大的瑞士数学家列纳多？欧拉发现的π的表示：

　　｛　｝　π　／　／　／　／　／　…　。　=　6（1＋1　4　＋1　9　＋1　16　＋1　25　＋1　36　＋　）

　　实数实际上是我们日常必须打交道的数的种类，虽然通常我们仅仅关心它们的近似值，只要展开到很少的几位小数位就满意了。然而，在数学的陈述中我们要准确地指定实数，要求某种无限的诸如整个无穷小数展开的描述，或者也许如上述由瓦里斯、格里高里和欧拉给出的π的其他的无限的数学表达式。（我将通常用小数展开，只是因为这些是最熟悉的。对于数学家而言，存在不同的令人更满意的表达实数的办法，但我们在这里不必为之忧虑。）

　　人们也许会感到处理全部的无限展开是不可能的。但事情并非如此。

　　简单的反例是1/3=0。333333333333333…这儿的点表明3的序列将无限地延伸下去。为了处理这个展开，我们所需要知道的是，只要肯定这个展开以同样的3的方式无限地继续下去就行了。任何