中国大百科全书:数学

对于上述关于数学本质特征的看法，我们应当以历史的眼光来分析，实际上，对数本质特征的认识是随数学的发展而发展的。由于数学源于分配物品、计算时间、丈量土地和容积等实践，因而这时的数学对象（作为抽象思维的产物）与客观实在是非常接近的，人们能够很容易地找到数学概念的现实原型，这样，人们自然地认为数学是一种经验科学；随着数学研究的深入，非欧几何、抽象代数和集合论等的产生，特别是现代数学向抽象、多元、高维发展，人们的注意力集中在这些抽象对象上，数学与现实之间的距离越来越远，而且数学证明（作为一种演绎推理）在数学研究中占据了重要地位，因此，出现了认为数学是人类思维的自由创造物，是研究量的关系的科学，是研究抽象结构的理论，是关于模式的学问，等等观点。这些认识，既反映了人们对数学理解的深化，也是人们从不同侧面对数学进行认识的结果。正如有人所说的，“恩格斯的关于数学是研究现实世界的数量关系和空间形式的提法与布尔巴基的结构观点是不矛盾的，前者反映了数学的来源，后者反映了现代数学的水平，现代数学是一座由一系列抽象结构建成的大厦。”而关于数学是研究模式的学问的说法，则是从数学的抽象过程和抽象水平的角度对数学本质特征的阐释，另外，从思想根源上来看，人们之所以把数学看成是演绎科学、研究结构的科学，是基于人类对数学推理的必然性、准确性的那种与生俱来的信念，是对人类自身理性的能力、根源和力量的信心的集中体现，因此人们认为，发展数学理论的这套方法，即从不证自明的公理出发进行演绎推理，是绝对可靠的，也即如果公理是真的，那么由它演绎出来的结论也一定是真的，通过应用这些看起来清晰、正确、完美的逻辑，数学家们得出的结论显然是毋庸置疑的、无可辩驳的。