推理的基础：符号和逻辑

http://blog.sina.com.cn/u/4047fb69010008iz


大约一百年前，有三个最伟大的数学家统领着数学研究，他们是希尔伯特，庞加勒，克莱因（这个克莱因是发现克莱因瓶，证明非欧几何跟欧氏几何同样无矛盾的数学家克莱因，不是后来的数学教育家、哲学家克莱因）。

 

希尔伯特的数学哲学观点基本上属于形式主义，尽管他自己不承认自己是形式主义者：那是某些数学家的极端观点，他本人拥有多种矛盾的数学观。形式主义的观点认为数学就是符号游戏（从方程式开始的代数，从坐标系开始的解析几何一直到希尔伯特对欧几里得几何学的重新阐述），“数学和物理世界的紧密联系是使它区别于仅仅是符号游戏的一个必不可少的特征”。

 

庞加勒则这么尽量非专业的解释数学的困惑：

 

数学，确定性的丧失

若想预见数学的未来，正确的方法是研究它的历史和现状。 　　　　　　　　　　　　　　　　　　　　　　　　──彭加勒 战争、饥荒和瘟疫能引起悲剧，然而，人类思想的局限性也能引起智力悲剧。本书论及的不幸事件降临在人类最为卓著且无与伦比的成就，对人类的理性精神具有最持久和最深刻的影响—数学的头上。 换句话说，这本书在非专业层次上探讨数学尊严的兴衰。看到数学现在的宏大规模，日益增多甚至呈繁荣之势的数学活动，每年发表的数以千计的研究论文，对计算机兴趣的该头涨，以及尤其是在社会科学和生物科学中对定量关系的广泛研究，数学的衰落何从谈起？悲剧存在于何处？要回答这些问题，我们必须首先考虑是什么为数学赢得了巨大的声望和荣誉。 作为一个独立知识体系的数学起源于古希腊，自它诞生之日起的两千多年来，数学家们一直在追求真理，而且成就辉煌。关于数和几何图形的庞大理论体系为数学提供了一个看来似乎永无休止的确定性前景。 在数学以外的领域，数学概念及其推论为重大的科学理论提供精髓。尽管通过数学和科学的合作才获得的知识用到了自然定律，但它们看来似乎与绝对的数学真理一样绝对可信，因为天文学、力学、光学、空气动力学中的数学所做的预测与观察和实验相当吻合。因此，数学能牢固把握宇宙的所作所为，能瓦解玄秘并代之以规律和秩序。人类得以趾高气扬地俯瞰他周围的世界，吹嘘自己已经掌握了宇宙的许多秘密（实际上是一系列数学定理）。拉普拉斯的话概括了数学家们一直在不懈地寻求真理的信念。他说，牛顿是最幸运的人因为只有一个宇宙，而他已发现了它的规律。 数学依赖于一种特殊的方法去达到它惊人而有力的结果，即从不证自明的公理出发进行演绎推理。它的实质是，若公理为真，则可以保证由它演绎出的结论为真。通过应用这些看起来清晰、正确、完美的逻辑，数学家们得出显然是毋庸置疑、无可辩驳的结论。数学的这套方法今天仍然沿用，任何时候，谁想找一个推理的必然性和准确性的例子，一定会想到数学。这种数学方法所取得的成功吸引了最伟大的智者，数学已显示了人类理性的能力、根源和力量。所以他们猜测，为什么不能把这种方法用到由权威、风俗、习惯控制的领域，比如在哲学、神学、伦理学、美学及社会科学中去寻求真理呢？人类的推理能力，在数学及自然科学中，是如此的卓有成效，肯定也将成为上述其他领域思想和行为的主宰，为其获得真理的美和美的真理。因此，在称作理性时代的启蒙时代，数学方法甚至加上一些数学概念和定理，用到了人文事务中。 创造力最丰富的来源是后者。19世纪初的创造，包括令人奇怪的几种几何学和代数学，迫使数学家们极不情愿地勉强承认绝对意义上的数学以及科学中的数学真理并不都是真理。例如，他们发现几种不同的几何学同等地与空间经验相吻合，它们可能都不是真理。显然，自然界的数学设计并不是固有的，或者如果是的话，人类的数学都未必是那个设计的最好诠释。 开启真理的钥匙失去了，这一事实是降临到数学头上的第一个不幸事件。 新的几何学和代数学的诞生使数学家们感受到另一个宇宙的震动。寻求真理的信念使数学家们如醉如痴，总是迫不及待地用严密论证去追求那些虚无飘渺的真理。认识到数学并不是真理的化身动摇了他们产生于数学的那份自信，他们开始重新检验他们的创造。 他们失望地发现数学中的逻辑形容枯槁，惨不忍睹。 事实上，数学已经不合逻辑地发展。其不仅包括错误的证明，推理的漏洞，还有稍加注意就能避免的疏误。这样的大错比比皆是。这种不合逻辑的发展还涉及对概念的不充分理解，无法真正认识逻辑所需要的原理，以及证明的不够严密；就是说，直觉、实证及借助于几何图形的证明取代了逻辑论证。 不过，数学仍然是一种对宇宙的有效描述，而且在许多人心里，特别是在柏拉图主义者看来，数学自身当然还是一个颇具魅力的知识体系，一个因具真实性而受到青睐的部分。因此，数学家们决定弥补丢失了的逻辑结构，重建有缺陷的部分。在19世纪下半叶，数学的公理化运动格外引人注目。 到1900年，数学家确信他们已实现了自己的目标。尽管他们不得不满足于数学仅能作为宇宙的一个近似描述的观点，许多人甚至放弃了宇宙的数学化设计这一信念，但他们的确庆幸他们重建了数学的逻辑结构。然而，他们还没来得及炫耀自封的成功，在重建的数学中就发现了矛盾。一般称这些矛盾为悖论，这是避免直接说矛盾而破坏了数学逻辑的委婉用语。(罗素悖论) 当时那些领头的数学家几乎立刻就投身于解决这些矛盾，结果他们构想、阐述甚至推出了四种不同的数学结构，每一种都有众多的追随者。那些基础的学派不仅努力解决已有的矛盾而且力争避免新的矛盾出现，就是说，建立数学的相容性。在这些基础研究中又出现了其他的问题，某些公理和演绎逻辑推理的可接受性也成为几个学派采取不同立场的重要原因。 到1930年，数学家已满足于接受几种数学基础的一两个，并且宣称自己的数学证明至少和这些学派的原则相符。但是，灾难再次降临，形式是K．哥德尔的一篇著名论文。 哥德尔证明了那几个学派所接受的逻辑原理无法证明数学的一致性。这还不包括论文里其他一些意义重大、影响深远的结果。哥德尔表明，对已取得的成功提出质疑不能不用到非常可疑的逻辑原理。哥德尔定理引起一场巨变。随后的发展带来了更大的麻烦。例如，就连过去极度推崇的、被认为是精密科学方法的公理化—演绎方法看来也是有缺陷的。这些新的发展给数学增加了多种可能的结构，同时也把数学家分成了更多的相异群体。 数学的当前困境是有许多种数学而不是只有一种，而且由于种种原因每一种都无法使对立学派满意。显然，普遍接受的概念、正确无误的推理体系──1800年时的尊贵数学和那时人的自豪—现在都成了痴心妄想。与未来数学相关的不确定性和可疑，取代了过去的确定性和自满。 关于“最确定的”科学的基础意见不一致不仅让人吃惊，而且，温和一点说，是让人尴尬。 目前的数学或是故作深沉，或是对广泛承认的真理，所谓完美无缺的逻辑的拙劣模仿。 有的数学家认为，关于接受什么作为真正数学的不同观点，有一天会统一起来。这些人中比较有名的是一群署名为布尔巴基的法国领头数学家。 然而，更多的数学家并不乐观。 数学的终极基础和终极意义尚未解决，我们不知道沿着什么方向可以找到最终答案，或者甚至于是否有希望得到一个最终的、客观的答案。“数学化”很可能是人类原始创造力的一项创造性活动，类似于语言或音乐，其历史观点否认完全客观的合理性。 用哥德的话说：一门科学的历史就是这门科学本身。 对于正确的数学是什么所存在的分歧以及不同基础的多样性不仅严重影响数学本身，还波及到最为生机勃勃的自然科学。 我们将看到，最先进的自然科学理论（即这种理论的结论可以在感觉上或实体上体现出来。例如假设我们一点也不懂电磁波是什么，但我们却能听到收音机中传出的声音），全都是数学化的。因此，没有亲自对数学基础下过功夫，而又不打算花费数年时间研究不完美的数学的科学家，一定会关心什么样的数学能被理直气壮地应用。 真理的丧失，数学和科学不断增加的复杂性，以及何种方法用于数学是最保险的不确定性，已使大多数数学家放弃科学。风声鹤唳，草木皆兵，数学家们不得不退回到证明方法看起来似乎很安全的数学领域。 他们还发现人为编造出来的问题比自然界提出来的问题更富魅力，处理起来更加得心应手。 因完美的数学是什么而产生的危机和矛盾还阻碍了数学的方法在许多其他文化领域中的应用，如哲学、政治科学、伦理学、美学。找到客观、正确的定律和标准的希望变得微弱了，理性时代已经过去。 尽管数学令人不满意，方法复杂多变，对可接受公理持不同意见，还有随时可能出现的新矛盾，都会殃及大部分数学，但是，一些数学家仍然把数学应用于自然现象中，而且事实上把应用领域扩大到经济学、生物学和社会学。 数学的继续有效给我们两点启示。 第一点是这种有效性可用作判别正确性的准则，当然这个准则是暂时性的。今天认为正确的，也许下次应用时就会证明是错的。 第二点涉及到未知。真正的数学是什么？对此并无定论。为什么数学依旧有效？我们是在用不完美的工具制造奇迹吗？如果人类已经被欺骗了，大自然也会受骗而屈服于人类的数学命令吗？显然不会。而且，正是凭借建立在数学之上的技术，人类成功地登上了月球，探测了火星和木星。这难道不是对宇宙中的数学理论的证实吗？那么，数学的人为因素与变幻莫测又何从谈起呢？当心智和灵魂迷惘不定的时候，躯体能生存下去吗？当然对于人类本身及数学，确实如此。因此我们应该去研究为什么会这样。尽管数学的基础尚不确定，数学家们的理论亦彼此冲突，而数学却已被证明成就辉煌，风采依然。