数学是什么?这是曾经困扰着数学家们的一个问题。这主要是因为人们没有区分主观真理与客观真理的缘故。 统一论认为,数学首先是一个观念体系。数学并不是凭空产生的,而是对应于客观事物的观念映象------空间------而产生的一个分析体系。在数学史上,数概念的发展就是一极好的说明。数概念经历了从自然数到有理数,到实数,再到复数等的发展过程,此外,微分学中的无穷大、无穷小、代数学中的群、环、域等,也是数概念发展的结果。其中每一次数概念的进展,都是与对客观事物认识的深化相对应的。如微分理论的研究就与物理问题直接相关。实际上,数学从来就是科学理论朝深度前进的一个载体。
其次,数学是一个形式体系。数学的精确性就是由形式化来保证的。数学不像文学那样用形象语言来描绘自然,而先将客体的观念映象抽象化,形成数、空间等抽象概念,并建立符号体系来进行演绎。这些符号体系经过翻译又可变为对客观事物的描绘。如“1+1=2”就可以翻译为“男人和女人就是整个人类”等,但在数学演算中,我们根本不必去管这些符号和公式的意义,这是形式化体系的一个根本特征。
再次,数学是一个结构体系。数学有其特有的结构,这个结构就是数学的游戏规则。数学结构不是随意确定的,否则数学就是真的变成游戏了。在20世纪关于数学的相容性的研究中,数学家们发现,数论、代数、几何、集合论等不同的数学体系是同构的,从而引发了关于元数学的研究。这是20世纪数学研究的重要成果。
数学本身无所谓简单与复杂。数学语言因其形式化而具有简单性的特点,但数学公式却可以十分冗长复杂。它可以用简单的形式表示十分复杂的过程,但有时,十分简单的过程也会有复杂的形式,这主要取决于人们对客观事物的认识程度。值得一提的是,尽管各种数学体系具有同构性,但不同数学体系却有不同的应用领域,在解决实际问题时也各有所长。数学之奇妙,也堪叹为观止。