皇帝新脑-第33部分
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
。我们可对任何决定性的物理理论考察其可计算性。那么，牛顿的撞球世界究竟是否可计算的呢？
物理可计算性的问题部分地依赖于我们打算对此系统问哪一种问题。
在牛顿撞球模型中，我能想到一些可以问的问题，我对这些问题的猜测是，要弄清其答案不是一个可计算（亦即算法的）事体。球 A和球B究竟会碰撞否便是这样的一个问题。其思路是，在某一特定时刻（t=O）所有球的位置和速度作为初始数据给定后，我们要知道，A和B是否会在将来的任一时刻（t＞O）碰撞？为使这个问题更明确（虽然不是特别现实），我们可以假定，所有球的半径和质量都一样，并且每一对球之间的作用力是反平方律的。我之所以猜想这是非算法可解的问题的一个原因是，该模型有点像爱德华？弗列得钦和托马索？托弗里在1982年提出的“计算的撞球模型”。在他们的模型中，球被若干堵“墙”所限制（而不是反平方律的力）；但是它们互相以类似于我刚描述过的牛顿球那样弹性反弹（见图5。9）。在弗列得钦――托弗里模型中，所有电脑的基本逻辑运算都可由球来实现。我们可以模拟图灵机的任何计算：对图灵机Tu的特别选取规定了弗列得钦――托弗里机器的“墙”等等的搭配；运动的球的初态可认为是输入磁带的信息的码，将球的终态解码就得到图灵机输出磁带的信息。这样一来，人们会特别关心这样一个问题：如此这般的图灵机会有停止之时吗？“停止”的是意味着球A最终和球B碰撞。我们已知这个问题不能用算法回答（71页），这事实至少暗示我前面提出的“球A最终和球B碰撞吗？”的牛顿问题也不能用算法回答。事实上，牛顿问题比弗列得钦和托弗里提出的问题要棘手得多，后者可依照分立变数（亦即按照诸如“球或者在通道上或者不在”的“在或不在”的陈述）来指明其状态。但在完整的牛顿问题中必须以无限的精度，按照实数的座标而不是以分立的方式指明球的初始位置和速度。这样，我们又面临着在第四章处理关于孟德勒伯洛特集是否可递归的问题时所必须考虑的所有麻烦。当允许输入和输出数据为连续变化的变数时 “可计算性”的含义是什么呢7？我们可以暂时假定所有初始位置和速度座标均为有理数（虽然不能预料在t的时刻以后的有理数仍保持为有理数），而使此问题变得稍为缓和。我们知道有理数为两整数的比，所以为一可列集。我们可用有理数来任意地逼近所选择用来考察的任何初始数据了。对于有理数的初始数据，也许不存在决定A和B是否最终会碰撞的算法的猜测决不是毫无道理的。图5。9弗列得钦――托弗里撞球电脑中的一个“开关”（由A？雷斯勒提出的）。如果一个球进入B，则是否有一个球接着从D或E出来，得看是否另一球进入A中（假定A和B的同时进入）。
然而，这并不是诸如“牛顿撞球世界是不可计算的”断言的真正含义。
我用来和我们的牛顿撞球世界作比较的弗列得钦――托弗里“撞球电脑”
的特殊模型的确按照计算而进行。无论如何，这是弗列得钦和托弗里思想的基本点――他们模型的行为应该和一台（普适）电脑一样！我试图要提的问题是，在某种意义上，人类大脑驾驭适当的“不可计算的”物理定律，能比图灵机做得更好，这一点是不是可以理喻的。追究如下的问题将是徒劳的：
“如果球A永远碰不到球B，则你的问题的答案为‘非’。”
人们可能永远也等待不到断定问题中的球不会碰到一起的时刻！那当然正是图灵机行为的方式。事实似乎很清楚地表明，牛顿撞球世界在某个合适的意义上（至少在如果我们不管多碰撞的问题之时）是可计算的。人们通常计算这种行为的方法是做一些近似。我们可以想象这些球的中心被指定在点的网格上，譬如讲网格的点被划分到百分之几单位。时间也被认为是“分立”的，所有可允许的时刻是某一小单位（用△t表示）的倍数。这就产生了一定的“速度”的可允许的分立值（两个连续允许的格点的位置的座标值的差，除以△t）。利用力的定律来计算加速度的适当的近似，再利用它使“速度”并因此下一允许时刻的新的格点位置被确定到所需要的近似程度。只要我们能维持所需的精度，则这种计算就可一直进行下去。很有可能算不了多少次其精度就失去了。以后的步骤是从更细的空间分格，以及更细的时间间隔重新开始。这一回能得到更好的精度，并在精度损失之前能计算到更久的将来的某一时刻。不断地增加细度，则计算的精度和所到达的将来的时间的长度就能不断地改进。可用这种方法将牛顿撞球世界计算到任意高的精度（不管多碰撞的问题）――我们可以在这种意义上讲牛顿世界的确是可计算的。
然而，认为这一个世界在实际上是“不可计算的”断言是具有某种含义的。这是因为得知的初始数据的精度总是受限制的。这类问题的确存在着固有的不可忽视的“不稳定性”。初始数据的极为微小的改变会导致结果行为的绝大的变化。（任何玩撞球的人，在他想用一个球去撞另一个使之落入球囊时，都知道我这样说的意思！）这在（连续）碰撞发生时尤其明显。但是，这种不稳定性行为也会发生在牛顿的引力远距离作用时（多于两体的情况下）。所谓的“混沌”或“混沌行为”经常用来表示这种不稳定的类型。例如，混沌行为对天气影响重大。虽然我们对控制基本元素的牛顿方程式了解甚多，但是远期天气预报之不可靠性则是臭名昭彰的！这根本不是那类可以任何方式驾驭的“不可计算性”。这只是因为所知的初始态的精度有限，而终态不能由初态可靠地算出。实际上只是随机因素被引入到未来的行为中而已。如果大脑的确使用了物理定律中的不可计算性的有用的因素，则它们必须具有完全不同的、并从这里引出更正面得多的特性。相应地，我根本不把这种“混沌”行为称为“不可计算性”，而将其称为“不可预见性”。正如我们很快就会看到的，在（经典）物理学中的决定性的定律中存在不可预见性，是一种非常一般的现象。在制造思维机器时，不可预见性正是我们希望尽量减小而不是去 “驾驭”的东西！为了更一般地讨论可计算性和不可预见性的问题，对物理定律采用比以前更广泛的观点将会更有助。这就促使我们不仅只考虑牛顿力学的理论，而且研究随后超越过它的各种理论。我们需要领略力学的美妙的哈密顿形式。哈密顿力学牛顿力学不仅在于非凡地应用到物理世界方面，而且在于它所引起的数学理论的丰富方面取得瞩目的成功。令人惊异的是，自然界所有超等理论都被证明是数学观念的丰富来源。这些绝顶精确的理论就作为数学而言也是极富成果的，这个事实具有一种深刻和美丽的神秘。它毫无疑问地表明，在我们经验的实在世界和柏拉图的数学世界之间有某种根本的关联。
（我将在第十章495页再讨论这一些。）牛顿力学也许是这方面的一个顶峰，因为它一诞生即获得了微积分。而且，牛顿理论形成了非凡的称为经典力学的数学观念的实体。十八和十九世纪许多伟大数学家的名字都和此发展相关联：欧拉、拉格朗日、拉普拉斯、刘维尔、泊阿松、雅科比、奥斯特洛夫斯基、哈密顿。被称为“哈密顿理论”8的即为这一工作的总结。为了我们的目的对其稍微了解即可以了。威廉姆？罗曼？哈密顿（1805―1865）是一位多才多艺和富有创见的爱尔兰数学家，他还是在165页讨论过的哈密顿线路的发明者。他把力学发展成强调其与波传播相类似的形式。波和粒子的关系的暗示，以及哈密顿方程的形式对于后来的量子力学的发展极为重要。我在下一章还会提及。
用以描述物理系统的“变量”是哈密顿理论的一个奇妙的部分。迄今为止，我们一直把粒子的位置当作基本的，而速度作为位置对时间的变化率。我们记得在牛顿系统中为了确定随后的行为，必须指定初始态（192页），也就是需要所有粒子的位置和速度。在哈密顿形式中，我们必须挑选粒子的动量，而不是速度。（我们在190页提到粒子动量是速度和质量的乘积。）这种改变似乎很微不足道，但是重要的在于每一粒子的位置和动量似乎被当作独立的量来处理。这样，人们首先“假装”不同粒子的动量和它所对应的位置的改变率没有什么关系，而仅仅是一组分开的变量。我们可以想像它们“可以”完全独立于位置的运动。现在在哈密顿形式中我们有两族方程。有一族告诉我们不同粒子的动量如何随时间变化，另一族告诉我们位置如何随时间变化。在每一种情况下，变化率总是由在该时刻的不同位置和动量所决定。粗略地讲，第一族哈密顿方程表述了牛顿的关键的第二运动定律（动量变化率=力），而第二族方程告诉我们动量实际上即是依赖于速度（位置变化率=动量÷质量）。我们记得，伽利略――牛顿的运动定律是用加速度，即位置变化率之变化率（亦即“二阶”方程）来描述。现在，我们只需要讲到事物的变化率（“一阶”方程），而不是事物变化率的变化率。
所有这些方程都是从一个重要的量推导而来：哈密顿函数 H，它是系统的总能量按照所有位置和动量变量的表达式。哈密顿形式提供了一种非常优雅而对称的力学描述，我们在下面写出这些方程，仅仅是为了看看它们是什么样子的。虽然，甚至许多读者并不熟悉完全理解之所必须的微积分记号――它在这里是不需要的。就微积分而言，所有我们真正要理解的是，出现在每一个方程左边的点表示（在第一种情况下，动量的；在第二种情况下，位置的）对时间的变化率：pHxxHp iiii= … =？？？？，？这里下标i用以区别所有不同的动量座标p1，p2，p3，p4，…和所有不同的位置座标x1，x2，x3，x4，…。n个不受限制的粒子具有3n个动量座标和3n个位置座标 （每一个代表空间中的三个独立的方向）。符号？表示 “偏微分”（“在保持其他变量为常数的情况下取导数”）。正如前述的，H为哈密顿函数。（如果你不通晓“微分”，不必担心。只要认为这些方程的右边是某些定义完好的，以xi和pi来表达的数学式子就行了。）在实际上，座标x1，x2，…和p1，p2，…可允许为某种比粒子通常的笛卡尔座标（亦即xi为通常的沿三个不同的相互垂直的方向测量的距离）更一般的东西。例如座标xi中的一些可以是角度（在这种情形下，相应的pi就是角动量，而不是动量，参见190页），或其他某些完全一般的测度。令人惊异的是，哈密顿方程的形状仍然完全一样。事实上，合适地选取H，哈密顿形式不仅仅是对于牛顿方程，而且对任何经典方程的系统仍然成立。对于我们很快就要讨论的马克斯韦（――洛伦兹）理论，这一点尤其成立。哈密顿方程在狭义相对论中也成立。如果仔细一些，则广义相对论甚至也可并入到哈密顿框架中来。此外，我们将要看到在薛定谔方程（332页）�
