原72松博客：tianpeng.72pines.com
编辑：Gemini
如果在数学的逻辑基础问题上过于追究，则数学的人为因素越来越大。这并不奇怪，如果问“为什么”问到终结，则答案只能归结为“第一推动”了。
然而，不要忘了，数学所描述的对象并不是人们凭空想象出来的，一个没有多少实用和理论价值而人为捏造的理论系统最终会被淘汰。数学的理论还是要为现实服务的，即使不能马上或直接地应用到现实中，至少也要间接地为那些服务于现实的理论服务，或至少在未来有可能成为指导现实的模型。数学中的人为因素与客观因素的关系颇像作家写的小说：作家写的小说大部分是虚构的，但作家不可能不着边际天马行空地编造，小说描述的至少应当折射出现实的影子，达到一种虚构的现实。即使是神话故事，也不应当不合情理。因此，作家写小说，经常会感觉到情节已经不受自己控制了，就好像小说里写的人物都是活的，写的事情都是正在实时地发生着一样。
对于数学，也有一种观点：虽然数学的概念并不独立地存在于现实中，却是存在于某个客观的“理念世界”中的。是一种特殊的独立于现实世界之外的客观存在，它们是不依赖于时间、空间和人的思维的永恒的存在。数学家得到新的概念不是创造，而是对这种客观存在的描述；数学新成果不是发明，而是发现。
[1]
这就是数学柏拉图主义观点。之所以叫柏拉图主义，因为柏拉图提出过一个哲学观点，称为“理念论”，他认为世界由“理念世界”和“现象世界”所组成。理念的世界是真实的存在，永恒不变，而人类感官所接触到的这个现实的世界，只不过是理念世界的微弱的影子，它由现象所组成，而每种现象是因时空等因素而表现出暂时变动等特征。有一个著名的洞穴比喻来解释理念论：有一群囚犯在一个洞穴中，他们手脚都被捆绑，身体也无法转身，只能背对着洞口。他们面前有一堵白墙，他们身后燃烧着一堆火。在那面白墙上他们看到了自己以及身后到火堆之间事物的影子，由于他们看不到任何其他东西，这群囚犯会以为影子就是真实的东西。最后，一个人挣脱了枷锁，并且摸索出了洞口。他第一次看到了真实的事物。他返回洞穴并试图向其他人解释，那些影子其实只是虚幻的事物，并向他们指明光明的道路。但是对于那些囚犯来说，那个人似乎比他逃出去之前更加愚蠢，并向他宣称，除了墙上的影子之外，世界上没有其他东西了。柏拉图利用这个故事来告诉我们，“形式”其实就是那阳光照耀下的实物，而我们的感官世界所能感受到的不过是那白墙上的影子而已。我们的大自然比起鲜明的理型世界来说，是黑暗而单调的。不懂哲学的人能看到的只是那些影子，而哲学家则在真理的阳光下看到外部事物。
[2]
这种观点听上去有点玄，但为了解释数学研究，尤其是涉及那些表面上看来离我们遥远的数学概念如无穷大的研究意义，以及人为创造的概念为何又不以人的意志为转移，数学为何又可以精确地用于实践，这种观点是不可忽视的。
下面举两个可以有力地支持数学柏拉图主义观点的例子，都是关于复数的：
[3]
第一个例子，一元三次方程的求根公式：卡丹诺首先发表了方程
ax
3
+bx
2
+cx+d=0 的
根式解法，过程如下：第一步：通过坐标伸缩和平移变换，一般的一元三次方程都可以化简成
y
3
=3py+2q
的形式。因此只要找到这样的方程的根式解，所有的方程都可以解出了。另外当时复数的概念还没有被引入，所以本文以下只讨论这种形式的实系数三次方程。
第二步：设
y=s+t，
代入方程，可得：
因此，只要
s
3
+t
3
=2q, st=p，
那么s+t就一定是方程的根
。
当
q
2
-p
3
≥0 时，
可以通过求解二次方程
r
2
-2qr+p
3
=0
先得到
s
3
和
t
3
，
从而得到：
因此
，y
3
=3py+2q
的解可以表示为
我们暂且把它叫做卡丹诺公式。
现在，通过微积分方法容易得出，当
q
2
>p
3
时，方程
y
3
-3py-2q=0
只有一个单实根；当
q
2
=p
3
≠0
时，方程有一个单实根和一个二重实根；当
p=q=0
时，方程只有一个三重实根；而当
q
2
3
时，方程有三个不相等的实根。
即是说，如果把求解的过程完全限制于实数，那么所有包含三个不等实根的方程，这个根式解法都是无能为力的。
不仅如此，当
q
2
=p
3
≠0
时，方程明明有三个实根：一个单根和一个二重根，但在这个解法中却只能体现那个单根。
例如：考虑
x
3
-3x=0
，为了讨论简便，特意找这个简单的方程。可以很容易地看出，它有三个实根：
0,√3
和
-√3
，然而，如果用卡丹诺公式解，中间会有√-1这样的数出现，方程的解变成这样：
如果人为地承认这些数，允许它们也参加运算，并规定
(√-1)
2
=(-√-1)
2
=-1，那么可
以得到相应的s与t的三对值如下
：
从而三个实根都可以得出。但是卡丹诺对这样的数表示不理解，不知道这是些什么数，而且，它们表现出了一些与实数完全不同的属性，例如：一个数的三次方根竟然有三个；
竟然不等于
，因此他把它们叫做“不可捉摸而无用的东西”。
但是，为了能够求出方程的根，人们不得不逐渐接受了复数，并作为一种人为引入的实数域的扩充域进入代数领域。
注韦达在三次方程根式解法发表的四十年后，发现了当
q
2
3
时方程
y
3
-3py-2q=0
的另一种解法，而这种解法完全可以不涉及到虚数。他的巧妙解法如下：由微积分方法可以知道，当
q
2
3
时，方程所有的根都是实的，而且都在
之间。那么设
，代入方程得到
应用三倍角公式得到
只需取
则
就是方程的根。（虽然也可以取
，
但是由于和刚才那组角关于x轴对称，所以用这组角求出来的方程的根和刚才那组相同。）
假设当年卡丹诺自己能够同时得到这两种解法，那么他很有可能舍弃那个带有虚幻的数的解法而用韦达的解法作为补充。但是，如果当时有人这么思考：这种解法是否说明三次方程的解有某种几何意义呢？它和卡丹公式所表示的虚数解有什么联系呢？更大胆地猜测：虚数是否在表达着一种几何结构呢？那么虚数不至于那么无法理解。
当然，今天我们知道了，复数确实有某种几何意义，一个数的三次方根也确实和角度有关，韦达的方法只不过是不自觉地用三角函数的性质表达了这种关系，而三角函数的性质也只是这种关系的特例而已。因此，我的观点是，即使不引入复数，复数所表达的几何结构也是早已存在的，只是没有复数时，人们只能用一些曲折的方式认识这种几何结构的一小部分。
