见过海王星(Neptune)吗?它是太阳系的八大行星之一,站在地球上仰望,它就是夜空中一个白点,远不如离地球较近的水星、火星那么晶亮、耀眼。 海王星的发现很大程度上归功于数学 - 科学家先算出它的可能方位,然后才用天文望远镜找到它。 这个发现被载入科学史册,被赋予的意义中有一条:这是一个证据,证明了数学并非人类的发明创造,而是客观存在。 牛顿的万有引力理论在19世纪被用来计算太阳系行星绕太阳公转的轨道,基本上没什么偏差,除了天王星。 天王星是那时已知行星中离太阳最远的一颗;它的运行轨道似乎总是偏离根据万有引力定律推算的结果。 当时有些学者猜测,也许万有引力定律对如此遥远的星球可能不适用。 另外有些科学家则求助于数学,通过计算,推测天王星附近存在一团体量巨大的物质,导致它绕日公转轨道出现偏离。 伦敦大学学院天文物理学家鲁西·格林(Lucie Green)解释说,他们通过计算结果推测这团神秘物质可能在什么方位,然后把望远镜盯住那个地方,结果就发现了这颗后来命名为海王星的行星。 本来,天王星、海王星的故事到此可以告一段落。但编写历史的人把海王星跟数学这么一关联,问题就来了。 数学究竟是人们发明出来、用以表述现实物理时空的抽象模型呢,还是它本身就是一种现实存在? 听起来像哲学问题,实际上也确实是哲学家千百年来一直在琢磨的问题。 而且,对这个问题即使到了今天仍没有共识,意见分歧极深。 ▲ 你吃了蛋糕,或者没吃蛋糕。你不可能吃了“负蛋糕 蛋糕:吃完就没有了我们试着来啃一下这道千年难题。 数学始于人类生存活动的需要:计数和丈量。 以蛋糕为例。数学家们对蛋糕有各种说法:尺寸、重量、形状、怎么切割。所有这些都是具像、可见的。 数学还可以把我们带到抽象的领域:如果你吃了三分之一的蛋糕,那么剩下的就是三分之二,两块。把这两块吃了,就没了。 数学家贝娄斯(Alex Bellos)说,古人用数字运算、丈量时,还没有负数的概念。 如果现实意味着有形有体的物件,可以计数、量尺寸和重量,那么比零更小的概念是很难想象的。 一只蛋糕,吃完了就吃完了,没有“负三分之一”块蛋糕之说。 负债和负数不过,在黑与白中间的灰色地带,负数这个概念和自然,完全能够被人理解的,那就是钱。钱这个东西,你可以有,也可以欠。 负数最初的应用是从债务和记账开始的。 你欠别人5块钱,我给了你5块让你还给别人,你手里剩下零。这就是负数现实的起源。 然后事情就一发不可收拾,到今天人们已经无法想像不存在负数的世界。 故事还没完。上面这些都根植于现实世界,但负数似乎自带魔力,能让不可思议的事发生。 巨大的谜两个负数相乘,得到的结果是正数,负负得正:(-1) X (-1) = 1。 就这么简单的一个定律,牵出了一个实实在在的、巨大的谜。 贝娄斯解释说,如果在数学等式里摆弄负数和正数,会看到奇妙的结果: 这是啥?一个数的平方,即一个数乘以自己,等于-1;那么-1的平方根就是这个数,但这怎么可能? 数学家贝娄斯说,这个数不可能是正数,也不可能是负数,因为负负得正。 于是,偶然发现这个谜的人们陷入困惑。这太荒诞了。 后来,数学家们逐渐开始意识到,这确实不寻常,但实际应用中却能推导出正确答案。所以,这个谜就留给哲学家们去绞脑汁吧。我们数学家只要数字,只要答案。 这时,一扇从现实通向非现实的门悄悄打开了。 虚数也一样,看起来很荒诞,但仔细琢磨,就会发现它很符合逻辑。 贝娄斯解释说,我们所说的实数,加上虚数,还有复数,共同构成了一种逻辑语言,能够用来完美诠释许多现象,比如循环旋转。 他说:“今天,-1的平方根在我们看来就和-1一样真实,即使它对于我们来说很难理解,就像-1这个数对我们的老祖宗来说无法理喻一样。” 再接再厉现在轮到复数(complex number) 。有些用实数无解的方程式,用复数就可以解答。它们就是那么魔性,对我们理解现实提供了实际帮助,几乎所有涉及循环旋转和波浪的数学题离不开复数这个工具。 复数在电机工程、雷达、医疗影像领域不可或缺,对解释次原子粒子的行为也至关重要。 那么问题又来了:为什么只存在于数学假设中的东西,在现实世界用途如此之大呢? 匈牙利20世纪物理学家尤金·维格纳(Eugene Wigner)认为这就是个奇迹。还有不少人跟他看法一致。 维格纳1960年发表了一篇重要论文,其中把复数叫做“数学在物理科学中不合理的有效性”(unreasonable effectiveness)。 不合理有效性如果数学是人类发明设计出来,用作表述现实的工具,那么它具有这种功能难道不是合情合理,完全符合逻辑吗?有什么“不合理”的呢? 这个问题或许要找数学、物理两栖的专家来解释,比如埃莉诺·诺克斯(Eleanor Knox);她的专业领域是物理中的哲学。 她说,确实,如果发明数学是为了帮助我们理解物理系统,那么它胜任这个任务完全合乎逻辑。但数学的演变过程似乎跟这种解释不相符。 历史上不乏这样的先例:数学家纯粹出于个人兴趣做出了一些发明, 过了段时间这些发明恰好用来促成某项重大的物理学发现或突破。 数学中的非欧几何(non-Euclidean geometry)就是一个著名的例子。 在19世纪末的时候,许多数学家都迷上了非欧几何,就因为他们觉得这个命题非常有意思,引人入胜。 当时公认整个世界都可以用欧几里德几何定律来表述,学校教的也是欧几里德,比如三角形的三个内角之和是180度。 1800年代末期的数学家并不想推翻欧几里德几何学,只不过是在数学探索过程中发现了妙不可言的新的数学结构。 诺克斯说,到了20世纪,爱因斯坦在广义相对论研究中发现自己需要一种新的理论用来表述相应的时空定律,而非欧几何正好满足了他的需求。换句话说,如果没有非欧几何,爱因斯坦的广义相对论就不会问世。 但是,19世纪沉浸在非欧几何研究中的数学家很显然没有预见到多年后物理学界会出现广义相对论。 诸如此类的史实难免令人产生各种联想:数学和现实世界的关系如果不是奇迹,至少称得上令人惊诧。 现实本质现代物理学不断发展,学问越来越精深,凡夫俗子如你我离其中蕴含的复杂的数学越来越远,对数学所表示的古怪现实也越来越难以理解。 真正令人惊奇的是数学可以帮助我们在人类感官无法企及的时空展开探索。 接下来的问题是,在探索现实本质的过程中,数学的表述能力是不是有极限? 诺克斯说,20世纪诞生了两个伟大的物理理论:量子力学和广义相对论。 但是,这两大理论背后的数学架构却像一对老死不相往来的夙敌,要把两者整合起来,其复杂程度难以复加。 诺克斯解释:“没有一个连贯、耦合的框架来帮助我们理解这两大理论是如何在同一个世界并存的,它们是怎样表述同一个现实本体的。” 这方面的探索难度之大常人无法想像,科学实践中最基本的纽带 - 思想和实验之间的纽带 - 在这里似乎断了。 这难道就是数学的极限吗? 诺克斯认为,到目前为止,我们可以得出几个结论:
巨大差别也许我们对自己太苛刻,或者太狂妄,想让数学定律和物理定律手拉手步入同一个殿堂 - 这件事比登天还难,就因为它们是两回事。▲ 古埃及诸神中有一个数学女神,名叫塞莎特(Seshat) 发现还是发明?数学从哪里来?这个问题应该问数学家。▲ 抽象的东西未必不真实! 真实怎么定义?▲ 我们生活于其中的时空到处都藏着数字 现实是什么? |
|