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