数学是什么？

      认知是从世界到概念，计算是从概念到世界，所以认知是聚合，计算是弥散，两者结合就是人机融合智能的根本。聚合可以突显，弥散可以关涉，弥聚就像呼吸一样节奏往复而具有生命力。

       维特根斯坦认为数学是发明，图灵在与之争论时认为数学是发现，我们认为数学也许既是发明也是发现。

        苏格兰哲学家休谟（18世纪）对归纳推理有着不一样的见解，他认为，我们的归纳推论建立在自然的齐一性假设之上。但是我们无法证明自然齐一性是正确的，并且我们只有回避这一问题才能为它的正确性提供经验性证据。所以，我们的归纳推论依据的是一种关于世界的假设，对于该假设我们没有很好的根据。 

       注：自然的齐一性指未检验过的物体将在某些相关的方面与我们已经检验过的同类物体相似。

     一个网名叫 XiuxianR 的网友在我的博文“论数学证明与数学真理性”后面给数学下了个定义：“数学是用公认的符号、图线来表达物质属性及相互关系的科学”，我不知道这位仁兄是自己给出的定义还是抄来的定义。他认为我对数学的基本概念模糊、抽象，这个评论非常正确，不仅仅是我，我相信迄今为止没有一个数学家或哲学家敢说自己对“数学是什么”有了非常清楚的认识，以至于没有人能质疑他的定义。鉴于这位网友没有恶意，而且我对这个问题也很感兴趣，不妨专门探讨一番，欢迎 XiuxianR 先生继续“喷”。

中学数学对数学有一个“标准”的定义：“数学是关于空间形式与数量关系的科学”，这个标准其实并不标准，事实上，随着数学的发展，人们对数学的认识也在发生着变化，古希腊的Proclus是这样评论数学的：

所以说

数学就是这样一种东西:

她提醒你有无形的灵魂；

她赋予她所发现的真理以生命；

她唤起心神,澄净智慧；

她给我们的内心思想添辉；

她涤尽我们有生以来的蒙昧与无知

Proclus如此评价数学一点也不奇怪，因为在他那个时代，数学具有崇高的地位，任何人不可以质疑数学。XiuxianR先生认为“古往今来，除了数论，数学家通常是物理学家甚至政治家”，我只能告诉你，过去没有职业数学家，而且过去从事数学研究的不仅仅是物理学家，更多的是神父、牧师、律师、法官等，他们把数学作为茶余饭后的娱乐，去查一查费马的简历就知道了。

人类文明最早可以追溯到古埃及与古巴比伦，距今已有六千年左右的历史，那时人们已经发现了勾股数，可以说，人类文明有多悠久，数学就有多悠久。直到微积分时代，数学的确始终与自然科学紧密相连，很多时候，我们很难分清数学家与物理学家。但随着数学的日新月异，情况已经发生了很大变化，数学逐渐从自然科学领域分离了出来，按照自身的逻辑继续发展，以至于大家越来越搞不清到底什么是数学了。Courant对数学有过这样一番评论：“‘数学是什么？’这个问题，不能通过哲学概括、语意学定义或者新闻工作者所特有的迂回说法来做出令人满意的回答。”他在《什么是数学》一书中又这样说道：“数学，作为人类智慧的一种表达形式，反映生动活泼的意念，深入细致的思考，以及完美和谐的愿望，它的基础是逻辑和直觉，分析和推理，共性和个性”。

Courant对数学的界定并不是大家公认的权威定义，法国数学家Borel这样评论数学：“数学是我们确切知道我们在说什么，并肯定我们说得是否对的唯一的一门科学”。英国数学家兼逻辑学家Russel则针锋相对：“数学是所有形如p蕴含q的命题的类，而最前面的命题p是否对却无法判断，因此数学是我们永远不知道我们在说什么，也不知道我们说的是否对的一门学科”。

如此说来数学似乎陷入了不可知论！但如果我们暂且不去纠缠数学这个概念的严格定义，关于数学的一些基本特征则是大家公认的：

1、数学是一切科学的语言。

2、数学是打开科学大门的钥匙。

3、数学是思维的工具。

4、数学是创造性艺术。

正是由于数学具有上述诸特征，所以很难给数学下一个清晰明确的定义。

数学的面貌早已今非昔比，如果把数学的发展分成若干个阶段的话，大致可以分为三个时期：1、古典数学时期。主要研究数、代数方程、初等几何。2、近代数学时期。以微积分的诞生为标志，以宏观世界中的物理运动为背景。3、现代数学时期。以集合论诞生为标志，其显著的特征是Hilbert倡导的形式主义。现代数学的发展无论是深度还是广度已经远远超乎人们的想象，即使是一个最伟大的数学家，也很难通晓现代数学的全部。法国Nicolas Bourbaki学派认为：“许多数学家在数学王国的一角占据了一席之地，并且不愿意离开。他们不仅差不多完全忽略了与他们的专业领域无关的东西，而且不能理解他们的同事在远离他们的另一个角落使用的语言和术语。即使是受过最广博的训练的人在浩瀚的数学王国的某些领域中也感到迷茫，像庞加莱和希尔伯特这样的人，几乎在每个领域都留下他们天才的印迹，甚至在最伟大的成功者中也是少而又少的极其伟大的例外。”这段评论的确反映了数学的某种现状。

当然，无论数学发展到什么程度，也无论发展成什么样，它最终都是为自然科学乃至社会科学服务的。

XiuxianR先生还坚持你对数学的定义吗？

附：

论数学证明与数学真理性

标题看起来似乎是个显而易见的平凡话题，其实不然，“什么叫数学证明”是个数学哲学问题。我学了多年的数学，对这个问题也是一知半解，应网友要求，顺便思考一下，谈谈自己的理解。

什么叫数学证明？简单地说，是在特定的公理系统中按照某种规则或标准（逻辑系统）由公理或已经被证明的结论（定理或命题）推导出的命题，数学证明通常依靠演绎推理。

从证明形式的角度看，数学分形式化与非形式化两种证明，形式化的证明依赖于一套特殊的符号语言，它不能有任何逻辑上的模棱两可之处，否则这种证明就被认为是不严格的或者有漏洞，数学研究工作者使用的就是形式化的证明。非形式化的证明是用来说服普通大众接受某个结论的相对比较严格的自然语言，这种证明的严密性取决于证明者所使用的语言以及受众对这种语言理解的程度，这类证明通常出现在科普讲座等不需要严格数学化的场合。

从演绎的过程看，数学证明需要符合几个条件：

1、数学证明具有一般性，演绎过程必须是针对所涉及的全部数学对象而言，无一例外。

2、所使用的逻辑体系需要是公认的，演绎方法必须是正确的。

3、证明所使用的论据必须是正确的，例如你证明过程中使用的命题必须是经过证明是正确的。

4、概念必须是清晰的，不能带有歧义。

5、问题的转换必须是等价的，不能偷换概念或问题的内涵。

6、结论必须是明确的，不仅可以进行重复检验或逻辑验证，而且人们根据这个结论不能推出相互矛盾的结果。

7、结论必须具有普适性，不能有任何例外。

       数学证明的典型特征是依赖于特定的公理体系与逻辑体系，历史上的第二次数学危机之所以产生，其内在的矛盾就在于使用了不同的逻辑，贝克莱使用形式逻辑质疑牛顿的无穷小，而牛顿或许自己也没有意识到他的问题本质上在于所使用的逻辑体系不同。事实上，微积分堪称运用辩证逻辑的典范，虽然后来柯西将微积分语言严格化从而平息了争论，使得微积分得到了普遍的认同并成为数学史上最伟大的发明创造，但微积分所采用的逻辑体系并没有变化。所以严格意义上讲，数学理论无所谓真与伪，只要逻辑上是自洽的，就可以认为这套理论是正确的，例如，你可以假定鬼是存在的，于是可以演绎出一系列类似聊斋的鬼故事，这正是数学与自然科学本质不同的地方。自然科学是实证科学，只要绝大多数的重复试验可以验证某个结论，哪怕偶有例外，都可以认为这个结论为真，否则就是伪结论。

当然，从方法论意义上讲，数学与自然科学有相通之处，而且很多数学问题来自于自然科学，所以很多数学理论与自然科学理论非常吻合，因而便有了数学是不是真理之问。以我所见，出现这样的现象与数学是不是真理没有关系，而是缘于数学使用了与现实相吻合的前提以及合适逻辑的结果。换句话说，数学只论正确与错误，不论真理与谬误。

也许有人会提出质疑，既然数学不论真伪，如何理解“数学是科学之母”？众所周知，任何问题都需要采用合适的语言来表达，也需要使用适当的方法去处理，数学是自然科学一种普适的语言符号，也是定量处理科学问题的有效方法，还是思考很多科学问题的通用逻辑，所以把数学称为科学之母是有道理的。但这仍然不能说明数学的真理性，因为根据数学理论与方法演绎或计算出来的结论是否是真理最终依然需要科学来检验。正是因为数学与自然科学之间这种纠缠不清的关系使得人们将数学的正确与错误与科学的真理与谬误混为一谈。

与数学不同的是，自然科学有着很多的偶然性与不确定性，所以自然科学作为实证性科学，并不像数学那样追求逻辑的严密性与结论的普适性，所以当人们运用数学分析自然科学中的问题时，不适宜像追求数学结论的完美性那样追求科学结论的完美性。

数学证明作为建立数学理论的主要手段，对于数学教育无疑是十分重要的。但正如前面所说，数学证明分形式化与非形式化两种情形，数学教育该采用哪种形式？我以为，应该两种形式并举。非形式化证明可以帮助学生理解问题的本质，培养数学直觉与数学思辨能力，形式化证明可以培养学生的演绎与运算能力以及数学的严谨性。

本文来自曹广福科学网博客。
链接地址：http://blog.sciencenet.cn/blog-40247-1011830.html