彭罗斯：数学概念的柏拉图实在？

节选自《皇帝的新脑》 数学概念的柏拉图实在？ 　　数学家世界的对象有多“实在”？一种观点认为，它们似乎根本就没有任何是实在的。数学对象仅仅是概念；它们是数学家制造的精神上的理想化，它经常受到我们四周世界的外观和表面秩序的刺激，但充其量仍不过是精神的理想化而已。它们能不仅仅是人类头脑的恣意创造物吗？同时人们经常发现，这些数学概念会显示出某种深刻的实在性，完全超越出个别数学家的深思熟虑之外。人类思想恰如受到真理的引导，其真理本身具有实在性，而且只能对我们之中任何人揭示一部分真理。 　　孟德勒伯洛特集提供了一个突出的例子。它的美妙和复杂无比的结果既非任何人的发明，也不是任何一群数学家的设计。波兰��美国数学家（兼分维几何的领袖）贝内特·孟德勒伯洛特首先3研究了该集合。他对其中蕴含的美妙的细节并无预先的概念，尽管他知道正在寻找某种非常有趣的东西。的确，当他的第一张电脑画图开始出现时，他的印象是，所看到的模糊的结构只是电脑失误的结果（孟德勒伯洛特1986）！他到了后来才相信集合就在那里。不但我们中的任何一个人都不能完全理解，而且任何电脑都不能指示孟德勒伯洛特集结构的复杂完整的细节。这个结构似乎不仅是我们精神的一部分，其本身也具有实在性。不管选择任一位数学家或任一台电脑去考察该集合，都会发现是对相同的基本数学结构的近似。用哪台电脑去进行计算都不会有真正的区别（假如电脑处于准确的工作状态），除了计算速度和存储与画图能力的差异会导致细节以及产生该细节的速度差别之外。使用电脑和在探索物理世界时使用实验仪器的方法在本质上是相同的。孟德勒伯洛特集不是人类思维的发明：它是一个发现。正如喜马拉雅山那样，孟德勒伯洛特集就在那里！ 　　类似的，复数系统本身具有根本而永恒的实在性，它超越出任何特殊的数学家的精神构想。大致在杰罗拉莫·卡当诺的工作中复数才开始受到赏识。他是生于1501年死于1576年的意大利人，也是正式的医生、赌徒兼占星家（还为基督算过命）。1545年他写了一本重要的影响久远的代数专著《艺术全书》。他在该书中首次提出了一般的立方方程的（以n次方根表达的）解的表达式①。然而，他注意到，在某一类方程具有三个实解的被人们称为“不可约化”的情况下，在他的表达式的某一阶段必须取负数的平方根。虽然他为此深感迷惑，他却意识到，如果允许他取这种平方根，也只有这样，才能表达出全部答案（最后答案总是实的）。后来，1572年拉飞逸·玻姆贝利在他题为《代数》的著作中，推广了卡当诺的结果并开始研究真正的复数代数。 　　初看起来，这样地引进负数的平方根似乎仅仅是作为工具--为了达到特定目的的数学发明&--后来人们越来越清楚，从这些东西所获取的比原先所设计的多得多。正如我在前面提到的，虽然复数引进的当初目的是为了使取平方根畅通无阻，后来人们发现作为奖赏，能够求任何其他根式或者解任何代数方程。我们还发现了复数的许多神奇性质，这些我们最初一点儿的征兆也没有。这些性质现存在那里。尽管卡当诺、玻姆贝利、瓦里斯、可提斯、欧拉、温塞尔和高斯具有无可怀疑的远见，这些性质不是由他们以及其他伟大的数学家放在那儿的。这些神奇是他们逐渐揭开的结构本身所固有的。当初卡当诺引进复数时，他根本对接踵而来的许多神奇没有任何一点暗示--而这些神奇的性质后来以不同的人来命名，例如柯希积分公式、黎曼映射定理以及列维开拓性质。这些以及其他显著的事实，正是卡当诺在1539年左右遭遇到的没有做过任何修正的那种数的性质。 　　数学究竟是发明还是发现？当数学家获得他们的结果时，是否仅仅产生了精神上的复杂构想没有客观实在性，但它们是这样地有力和精巧，甚至于把发明者也愚弄了，并使他们相信这些仅仅为精神的构想是“实在的”？或者数学家实际上是发现现成的真理--这种真理的存在完全独立于数学家的活动呢？我想到了现在，读者会很清楚，至少就复数的这种结构以及孟德勒伯洛特集而言，我执着地坚持第二种而不是第一种观点。 　　但是，情况也许还不像这么直截了当。正如我说过的，在数学中有些东西，用术语“发现”的确比“发明”更贴切得多，正如上面引用的例子。这些正是从结构出来的东西比预先放进的东西多得多的情形。人们可以认为，在这种情形下数学家和“上帝的杰作”邂逅。然而，还有其他情形，数学结构并没有如此令人信服的唯一性。例如，在证明某些结果的过程中，数学家发现必须引进某种巧妙的而同时远非唯一的构想，以得到某种特别的结果。在这种情形下，从构想得出的结果不太可能比起先放进的更多，所以术语“发明”似乎比“发现”更为妥当。这些的确只是“人的作品”。从这种观点看，真正的数学发现一般地被认为比“仅仅”发明具有更伟大的成就和抱负。 　　这种分类法在艺术和工程中是相当熟悉的。伟大的艺术作品的确比不甚伟大者“更接近于上帝”。在艺术家最伟大的作品中，揭示了某种预先的天界存在的①不朽真理，而他们较差的作品可能更随意，但本质上只不过是会枯朽的作品，这种感觉对于艺术家并不稀罕。类似地，在漂亮组织的工程实施中，使用某些简单的预想不到的想法，并得到大量的成果，把这工程描述为发现比发明更妥当。 　　在叙述了这么许多以后，我禁不住感到，在数学中，至少对于其中某些最基本的概念，某种天国的不朽存在的信念比在其他情形下更强烈得多。在这种数学观念中存在比在艺术和工程中强烈得多的令人信服的唯一性和普适性。数学观念可在这样一种超越时间的天国的意义上存在的思想，是在古代（公元前360年左右）由伟大的希腊哲学家柏拉图提出的。随后这种思想就时常被称为数学柏拉图主义。它以后对我们很重要