上帝是一位算术家还是一位几何学家?(下)

──复数的引入对柏拉图主义的支持

如果在数学的逻辑基础问题上过于追究,则数学的人为因素越来越大。这并不奇怪,如果问“为什么”问到终结,则答案只能归结为“第一推动”了。
然而,不要忘了,数学所描述的对象并不是人们凭空想象出来的,一个没有多少实用和理论价值而人为捏造的理论系统最终会被淘汰。数学的理论还是要为现实服务的,即使不能马上或直接地应用到现实中,至少也要间接地为那些服务于现实的理论服务,或至少在未来有可能成为指导现实的模型。数学中的人为因素与客观因素的关系颇像作家写的小说:作家写的小说大部分是虚构的,但作家不可能不着边际天马行空地编造,小说描述的至少应当折射出现实的影子,达到一种虚构的现实。即使是神话故事,也不应当不合情理。因此,作家写小说,经常会感觉到情节已经不受自己控制了,就好像小说里写的人物都是活的,写的事情都是正在实时地发生着一样。

对于数学,也有一种观点:虽然数学的概念并不独立地存在于现实中,却是存在于某个客观的“理念世界”中的。是一种特殊的独立于现实世界之外的客观存在,它们是不依赖于时间、空间和人的思维的永恒的存在。数学家得到新的概念不是创造,而是对这种客观存在的描述;数学新成果不是发明,而是发现。[1] 这就是数学柏拉图主义观点。之所以叫柏拉图主义,因为柏拉图提出过一个哲学观点,称为“理念论”,他认为世界由“理念世界”和“现象世界”所组成。理念的世界是真实的存在,永恒不变,而人类感官所接触到的这个现实的世界,只不过是理念世界的微弱的影子,它由现象所组成,而每种现象是因时空等因素而表现出暂时变动等特征。有一个著名的洞穴比喻来解释理念论:有一群囚犯在一个洞穴中,他们手脚都被捆绑,身体也无法转身,只能背对着洞口。他们面前有一堵白墙,他们身后燃烧着一堆火。在那面白墙上他们看到了自己以及身后到火堆之间事物的影子,由于他们看不到任何其他东西,这群囚犯会以为影子就是真实的东西。最后,一个人挣脱了枷锁,并且摸索出了洞口。他第一次看到了真实的事物。他返回洞穴并试图向其他人解释,那些影子其实只是虚幻的事物,并向他们指明光明的道路。但是对于那些囚犯来说,那个人似乎比他逃出去之前更加愚蠢,并向他宣称,除了墙上的影子之外,世界上没有其他东西了。柏拉图利用这个故事来告诉我们,“形式”其实就是那阳光照耀下的实物,而我们的感官世界所能感受到的不过是那白墙上的影子而已。我们的大自然比起鲜明的理型世界来说,是黑暗而单调的。不懂哲学的人能看到的只是那些影子,而哲学家则在真理的阳光下看到外部事物。[2]

这种观点听上去有点玄,但为了解释数学研究,尤其是涉及那些表面上看来离我们遥远的数学概念如无穷大的研究意义,以及人为创造的概念为何又不以人的意志为转移,数学为何又可以精确地用于实践,这种观点是不可忽视的。

下面举两个可以有力地支持数学柏拉图主义观点的例子,都是关于复数的:[3]
Continue reading