Science 版 (精华区)

发信人: emacs (In the Name of Love), 信区: Science
标  题: 《阿基米德的报复》前言
发信站: 哈工大紫丁香 (2002年07月31日18:01:53 星期三), 站内信件

前言


　　阿基米德的头脑较之荷马有更丰富的想象力。

　　——伏尔泰


　　伊萨克·牛顿有句著名而又谦逊的格言：“我所以比别人看得更远，是因为
我站在巨人的肩膀上。”当时，他心中确实铭记着古代最伟大的一位数学家，希
腊叙拉古城的阿基米德。然而，阿基米德还是一位力学天才，在他众多的机械发
明中，有水车，又称作阿基米德螺旋泵，是一种用于抽水进行灌溉的螺旋状泵。
虽然人们对于阿基米德的生平以及他对自己的功绩的评价知之甚少，但多数评论
家猜测，他对于自己在理论数学上的发现比实用发明更重视。例如，一个叫普卢
塔克的写道：“而阿基米德具有这样一种崇高的精神，这样一种深奥的魂灵和这
样一种科学理论的财富，虽然他的许许多多的发明为他赢得了声誉，并使他以
‘超人的精明’而闻名，但他并不愿为这些课题著书立说，流传后世，而把一个
工程师的工作和有助于生活需求的每一件艺术品都视为卑贱和和庸俗。他只潜心
于研究那些不受生活品需求影响的精妙而有魅力的学科。”其他评论家则进一步
认为，甚至当他从事杠杆、滑轮或其他机械研究时，他也是为了探索力学的普遍
原理，而不是为了实际应用。

　　实际上，阿基米德对于理论的偏重胜于实际到什么程度可能永远不得而知。
但有一点是清楚的：在他的作品中，理论和应用之间的关系是紧张的，而这种紧
张的关系一直持续渗透到以后22个世纪的数学之中。

　　本书主要概述了数学所涉及的领域和范畴。我并不认为这本书包罗万象，然
而它选择的主题很离奇，但它也只能如此。数学是世间每所大学都从事研究的一
门学科，它至少像生物学一样有广泛的领域，在生物界中，某个研究人员正努力
研究艾滋病毒，而另一个研究人员则在研究袋熊的社会化问题。

　　我对数学的探讨犹如我在研究中国莱谱，到处品尝，识别常见的配料和特殊
的风味。在仅仅用过一次中餐之后，你很难成为一名中餐美食家，但比起从未吃
过中餐的人却又知之较多。数学亦如此。研究几个数学课题，是不可能掌握数学
中一切重要的内容的，但比起那些一窍不通的人来，你对这些课题的感受却又深
得多。

　　目前已出版了许多论及数学方面的哲学基础的书籍，从某种程度上讲这是必
然性的科学，因为它的结论在逻辑上是无懈可击的。还有许多作品却狂热地详述
数学无穷大的性质和高维度的美。这种带有哲学式的、富有诗意的离题的论述却
有它的市场，但却远没有涉及大多数数学家们所关切的问题。我在本书中主要描
述的是那些数学工作者在实际中所遇到的地地道道的实用的问题。

　　我还想批驳一个错误观点：仅仅肯花力气进行足够的运算，就可得到数学的
任何结果，换句话说，如果你想解一道数学题，只需做足够量的运算就行了。即
使你我缺乏解数学难题的能力，但我们也怀疑内行人士——这些理解数学符号的
人——是否都能够对他们选择的任何一个问题经过潜心研究后找到答案。毕竟，
我们的知识使我们相信数学是属于演绎推理，推断一个数学结果要像推论“所有
人都必定要死的”和“苏格拉底是人”，因此“苏格拉底必定要死的”一样简单
就好了！

　　我写作本书的目的之一是要说明一种数学知识的局限性。在我们所考查的每
个数学领域中，我要指出什么是已知的和什么是未知的。有时我们的知识是有局
限的，因为某些领域刚刚开发，还没有多少数学家投身于对它的研究。知之甚少
是这一问题的主要困难。此外，数学家的知识的局限性也是比较重要的因素。它
表明，这些问题要从数学方面获得快速解简直是不可能的。

　　数字中充满了新奇。数字和形状是人文料学中最早关心的课题，但有关的许
多问题仍然令人费解。比一个素数的概念更简单的能是什么——一个大于1的整
数，像3，5，17，或31等不能被1和本身之外的其他整数整除的数？早在古希腊
人的时代就知道素数是无穷尽的，但是没有一个人知道孪生素数——成对的素数，
如3和5，相差2，它们是否也是无穷尽的。没有人知道是否存在无限多的完全数，
像6一样等于它所有因子（当然除去它本身外，即3，2和1）之和的整数。而且没
有人知道一个完全数是否是奇数。匈牙利伟大的数论家保罗·厄尔多斯是一个证
明素数基本定理的大师——他在18岁的时候，就提出了著名的论证：在每个大于
1的整数和它的倍数之间一定有一个素数——他认为，数学家们还远远没有理解
整数，更何况其他类型的数。他说：“至少还得再过100万年，我们才可能理解
素数。”

　　在数学上，对形状的理解也远远不够。在二维方面，关于什么形状可以在一
定条件下用砖瓦贴盖表面的问题还有许多疑难未解之处。在三维的砖瓦贴面模拟
中，形状的填充要尽可能使给定的空间密集，这对于许多基本形状来说仍悬而未
决。但是，缺乏理论知识未必总是实用主义者的拦路虎，设计师罗纳德·雷施制
造出三层半的复活节彩蛋就是明证。

　　由于有关数字和形状的基本问题仍未解决，因此对计算机——一种复杂的数
字工具——能做什么和不能做什么常常众说纷纭，并出现一些混乱状态，这不足
为怪。我尽量避开那些关于人和机器的本质的含糊不清的形而上学问题，便于向
人们展示人们所不了解的关于计算的理论局限性方面的问题。我要讲述图灵通用
计算机的惊人之处——分成若干单元的一条纸。我要考查一种可能出现的局限性：
计算机科学家认为，他们将能够证明某些仅仅在探索阶段的计算问题——包括旅
行推销员在一连串的城市之间要选择的最短路线的问题——从来没有被计算机
（或数学家）有效地解决。从理论转移到实践，我特意检验了汉斯·伯林纳和丹
尼·希尔设计的对弈机和通用计算机，使“三个臭皮匠，顶过诸葛亮”的构想走
向极端。要知道这些努力的整个结局如何还为时过早，但这两种机器的性能在某
些领域，已经超过了传统计算机。

　　从根本上说，旅行推销员问题无疑是数学问题，可是实际上已证明，用传统
的数学方法解答它是无效的。在这本书里，我将介绍一种出现在设计选举系统或
分配代表的问题中的类似的解决办法。从绝对意义上说，数学对这些问题是毫无
帮助的。的确，数学证明了，它对开创一个完善的民主选举制在理论上无益，尽
管缺乏完善的民主体制，但数学为公正的选举制和国会的公正分配方法指出了道
路。

　　传说阿基米德是在一时的愤怒之中设计出一个关于牧牛的极其困难的数字问
题。他的报复一直持续了22个世纪，直到1981年，使用刚诞生的一台巨型计算机
才彻底解决了这一问题。牧牛的问题多少有些编造的味道。但是，面对阿基米德
的报复，一代代数学家所感受到的挫折常常类似于那些比较自然地出现的较简单
的数学问题所造成的报复。这种数学本身造成的报复看来还没有迹象会消退。

　　一个令人惊奇的宗教学生，

　　解出了无穷大的平方根，

　　这使他对计数烦躁不宁，

　　他终于放弃了数学又继续学神。

　　——无名氏回本书目录 | 下一节 | 给编辑来信 | 三思科学论坛 | 关闭窗
口


--
What a friend we have in EMACS,
  All our text-problems to halt!
What a privilege to keypress
  Control-meta-ESC-shift-alt!

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 天外飞仙]