提要：本文通过哲学、美学、思维科学等三个方面的理论探讨，并通过数学发展史的历史考察，得出了“数学美是数学发展的内在动力”的结论。 关键词：内容和形式/超越与回归/审美自觉 人们通常认为：只有客观需要才能给数学提出新问题，刺激数学的发展。这里强调的只是数学发展的外在动力，忽略了数学发展的内在动力，这是一种机械唯物论观点。那么，数学发展的内在动力到底是什么呢？ 古希腊有个75岁高龄的数学家阿基米德，在攻破叙拉古的罗马士兵的屠刀下仍然蹲在地上专心致志地研究着几何题。瑞士数学家L、 欧拉应聘到圣彼得堡，为了解决一个问题计算了三天三夜，结果累瞎了眼睛，在双目失明到逝世的十八年间，他仍然以顽强不息的毅力坚持了心算，写出了许多数学著作。究竟是什么力量促使他们如此醉心于数学研究的呢，是为了追求数学的实用价值？显然不是。他们如此献身于数学研究，正是为了数学的审美价值，即对数学美的渴望和追求。对此，古今数学家阐述过许多耐人寻味的论述。 著名数学家歇菲尔瑞赫曾说过：“它（指毕达哥拉斯学派）的目标是明确的；揭示以数的和谐所表示的宇宙和谐，数学可以提供一条通向与神明相契合的道路，就是这个崇高的目标，在当时为这门至高无上的学科提供了必要的动力”，这个通向与神明相契合的道路，就是指追求数学美的道路。 冯·诺依曼在谈到数学发明的条件时曾提出：“归结到关键的论点：我认为数学家无论是选择题材，还是判断成功的标准，主要都是美学的” 法国数学家H·庞卡莱说过：“美学，对美观与优雅的感觉， 在数学的成功中是一个重要因素” 沙利文认为“一个科学理论之被认可，一个科学方法被证明都在于它的美学价值……科学在艺术上的不足程度，就是它作为科学不完善的程度” 革命导师马克思也曾说过：“人类是按着美的规律改造世界的”…… 上述见解，都精辟地表述了数学美对数学发展的重要贡献。 在具有高度抽象形式与逻辑严格性的数学里怎能有数学美，甚至说这个数学美对数学发展具有如此大的重要贡献呢？我们在下边将从3 个方面论述其原因。 1、数学美功能的哲学思考 数学是研究客观事物的关系和形式的科学，它是以高度抽象形式和严密的逻辑性为其特点的。但是，这种抽象形式又成为数学美形式的内容。从世俗的观念看来，“内容决定形式”的命题是天经地义的，绝对的，无条件的。但是实际上，就像一个人可穿不同的服装，一本书可有不同的封面一样，“内容决定形式”的命题是有条件的。对于形式我们也要作具体分析。从层次上看，形式有初级的原生形式，也有高级的规范形式。初级的原生形式就是一切事物都具备的天然形式，它是与内容共存亡的。通常我们所说的“没有无内容的形式”是就这种原生的形式而言的。这种原生形式，一般说来是杂乱无章，缺乏统一性的，但是高级规范形式却不同，它是不与内容共存亡的一种超越了特殊内容的普遍形式。它是经过长期的历史实践积淀而形成的一种共同的社会约定的心理定势，它对内容就有了某种主动性。数学美就是这种高级的审美形式。假如一个数学家对这种审美形式有很强的驾驭能力，那么它能帮助他对科学的认识价值和实用价值进行审美超越与回归。数学的方法论可分为宏观方法论（公理法、模型法等）和微观方法论（归纳法、反证法等），因为这种方法论也都包括在数学美的范畴，所以说，数学美形式比起方法论对数学内容更具有主动性。数学美的基本形式（或特征）可以归纳为如下3个方面： 多样统一美（如，结构美，逻辑美，简洁美等）； 和谐奇异美（如，对称，对比，比例，悖论，反证法，反例等）； 动态奇异类（如，变量与极限，变换中的不变量等）。 由于数学具有逻辑严密性的特征，加上它比其他任何科学推理得更远，所以它给数学家提供了更大的自由创造的自由度，这就使数学美形式对其内容具有更强烈的独立性和主动性。例如，恩格斯曾说过的“理性本身自由创造和想象的产物”的复数，就是为了使代数理论更加和谐而发明出来的；又如，罗巴切夫斯基等人创立的非欧几何，它是纯粹的美学和逻辑的产物。他们所采用的公理法也是审美直觉的产物。这个公理法在数学发展史上具有划时代的意义，以至19世纪初到20世纪前半叶为止，使数学进入了“抽象化公理时代”。 除了数学美作为形式对数学内容的发展有非常大的主动性之外我们还发现，数学美的特征完全符合辩证法： 数学的多样统一美，反映出事物联系的普遍性； 数学的和谐奇异美，反映出事物的对立统一规律和否定之否定规律； 数学的动态平衡美，反映出事物的量变到质变的规律； 数学美的这种辩证法特点，自然决定着它对数学发展的认识论价值和应用价值。 2、真善美的统一 通常所说的真善美，在数学中可归结为科学价值、实用价值和审美价值。这3种价值判断是个错位结构（见图）
价值错位图 其中， 甲：科学价值，乙：实用价值，丙：审美价值 A：仅有科学价值。如欧氏几何以前的一些几何学； B：仅有实用价值。如中国的一些古算术； C：仅有审美价值。如尚未证明的哥德巴赫猜想或费尔玛猜想等； D：无实用价值。如现代数论的一些部分； E：无科学价值。 如应用上有辉煌成就但其逻辑基础非常脆弱的无穷小分析理论等。 F：无美学价值。如不少应用数学的内容； G：真善美的统一。 三种价值之间的关系，除了G 部分外在其他各部分中的真善美或多或少存在着错位现象。可是，这种错位关系并不是绝对的，而是随着数学的发展，经优胜劣汰，最终达到真善美的真正统一。例如，A、C、 D部分。历史上有过非阿基米德几何，曾因看不到它的实用价值而被人们遣弃过。但是，后来数理逻辑学家鲁滨逊把实数系扩充到与美妙的宇宙同构的非标准实数之后，非阿基米经几何才被人们得以承认，达到了真善美的统一；著名的非欧几何纯属数学美和逻辑的产物。起初它因为看不到实际应用而被人们冷落过。后来，逐步发现它在现代物理学中的重大应用之后，达到了真善美的统一，确立了它的很高的地位。又如， A、B、F等无美学价值的部分。随着数学理论的向前发展，它的结构更加和谐一致，并一再被更加有力的工具和更加简单的方法所替代，最终达到真善美的统一。还有B、C、E等无科学价值的部分。 那些无穷小分析理论被极限论或非标准分析所替代呈现出其科学价值，那些各种猜想经科学论证得以扬弃，保留了有科学价值的部分，它们终究都达到真善美的统一。
