什么是数学

关键词#

数学定义; 形式科学; 抽象; 模式; 结构; 公理化; 数学柏拉图主义; 形式主义; 直觉主义; 数学基础

第1页 · 数学的本质#

标题：数学不是自然科学——它是关于结构和模式的科学

数学是什么？这个问题看似简单，却困扰了数学家和哲学家数千年。一个常见的误解是将数学归类为自然科学——数学研究的不是自然界的物理对象，而是抽象的结构和模式。数学家不依赖实验来验证定理，而是通过逻辑推理从公理出发推导结论。英国数学家哈代（G.H. Hardy）在《一个数学家的辩白》中写道："数学家，就像画家或诗人，是模式的制造者。"数学的核心活动是发现和研究各种抽象结构——群、环、域、拓扑空间、流形——它们之间的关系由严格的逻辑推理确定。

然而，数学的抽象性并不意味着它与现实无关。物理学家尤金·维格纳（Eugene Wigner）在1960年的著名文章《数学在自然科学中不合理的有效性》中指出：数学概念往往在被纯粹数学家发展多年甚至数十年后，才在物理学中找到应用。黎曼几何在创立60年后成为广义相对论的数学语言；群论在创立100年后成为粒子物理的基础工具。这种"不合理的有效性"至今仍是一个深刻的哲学谜题。

数学的日常工作是提出关于模式的命题，再用证明把它们从假设连接到结论。它不靠实验室判决「下一次测量是否仍成立」，而靠推理：若公理与规则被接受，定理就不能被一次反例式的观测单独推翻。哈代把数学家比作模式的制造者，说的是结构，不是装饰。

中小学看见的数学几乎都是计算：算术、解方程、套公式。计算是模式的一种操作，证明才把模式钉死。费马小定理可以用来算余数，它首先是一条被证明的结构命题；没有证明，算法只是尚未垮掉的习惯。

「不合理的有效性」可以点到为止：同一种抽象模式后来进入物理，并不能自动回答数学对象是否独立存在。那是数学与世界的关系问题。这里先保住更窄的判断：数学是一门用证明研究模式与结构的学科，实验科学借用它，并不把它变成实验科学。

第2页 · 数学的历史定义#

标题：从亚里士多德到现代——数学定义的演变

亚里士多德将数学定义为"量的科学"——研究数量和几何形状。这一定义在中世纪被广泛接受。17世纪，随着微积分的发明，数学的研究对象从静态的量扩展到动态的变化——函数、极限、导数成为数学的核心概念。

19世纪，数学经历了深刻的抽象化运动。群论、集合论和非欧几何的出现表明，数学研究的不是"具体的量"，而是"抽象的结构"。戴德金将数定义为集合的运算，康托尔将无穷集合纳入数学，希尔伯特将几何学公理化——数学从研究"是什么"转变为研究"可以是什么"。

定义史可以看成对象不断被换掉、方法却收紧的过程。从「量与形」到函数与变化，再到群、集合与公理系统，数学家越来越少问「它是哪一种自然物」，而越多问「哪些运算合法」。戴德金与康托尔让无穷集合成为对象，希尔伯特把几何写成关系的清单，对象换成未定义词也仍然能推定理。

20世纪，数学基础的三大流派对数学的本质给出了不同的回答：逻辑主义（罗素、弗雷格）认为数学是逻辑的一部分；形式主义（希尔伯特）认为数学是符号操作的游戏；直觉主义（布劳威尔）认为数学是心智的构造。哥德尔的不完备性定理（1931）表明，任何足够强的形式系统都存在不可判定的命题——这对所有三个流派都构成了挑战。

三大纲领是对「证明在保什么」的不同答案，不必写成彼此消灭的战争。逻辑主义想把数学收进逻辑；形式主义把符号游戏的一致性当作可靠性的落点；直觉主义要求对象可被心智构造，从而限制排中律。哥德尔不完备性定理让「一个形式系统包办全部算术真理」这条路走不通，但没有取消证明作为数学的标准。

逻辑主义的抱负最大：把数写成逻辑对象。罗素悖论打断了弗雷格的原方案，《数学原理》用类型论绕行，代价是公理不再像「纯逻辑」那么干净。这一段历史说明：想一劳永逸地回答「数学是什么」，往往会在集合该多大多自由上重新卡住。

当代数学家通常采取一种实用主义的态度：数学是研究抽象结构的学科，其方法是公理化和逻辑推理，其标准是严格性和美。对象可以是数、形、群、概率空间或形式语言，共同点是：一旦公理写明，哪些变换保持结构就是可证明的。这就是「模式的科学」比「量的科学」更准的原因——量只是最早被写下来的一种模式。

第3页 · 数学的方法论#

标题：公理化方法——数学的独特武器

数学区别于所有其他学科的核心方法是公理化方法：从少数不证自明的公理出发，通过逻辑推理推导出所有定理。这一方法由欧几里得在《几何原本》中确立，至今仍是数学的标准方法。公理化方法的力量在于它的确定性。一旦公理被确定，所有从公理推导出的定理都是必然正确的——不依赖于经验观察或实验验证。例如，欧几里得从五条公设推导出465个几何命题，每一个都是逻辑必然的。

然而，公理化方法也有其局限。哥德尔第一不完备性定理（1931）表明：任何包含算术的一致形式系统都是不完全的——总存在既不能证明也不能否证的命题。这意味着数学不能被完全形式化——总有"超越公理"的真理。这一发现并没有动摇数学家的信心。大多数数学家相信，虽然形式系统有局限，但数学推理本身是可靠的。公理系统的一致性虽然不能在系统内部证明（哥德尔第二不完备性定理），但可以通过模型论的方法在更强的系统中证明。

公理化给出确定性，代价是确定性相对于公理。欧几里得从公设推出命题，希尔伯特 1899 年的《几何基础》进一步把点、线写成满足关系的未定义项。证明一旦写完，争议就应退回到公理与推理规则，而不是退回到实验误差。这与自然科学的循环——模型、测量、修正——不是同一套纪律。

不完备性限制的是「形式系统作为全能百科」，不是「证明无用」。大多数工作仍在选定的公理里推进；遇到独立性命题，才需要新公理或改换框架。模型论可以在更强理论里讨论较弱系统的一致性，但不能在系统内部完成希尔伯特原先设想的绝对证明。

希尔伯特曾想在有限主义的元数学里证明分析的一致性，从而保住经典推理。哥德尔第二定理表明，系统若一致且足够强，就不能在内部证明自己的一致性。形式主义不必因此消失，但它不能再许诺「一次元证明管住全部数学」。

第4页 · 数学的哲学立场#

标题：数学是发现还是发明？

关于数学的本质，柏拉图主义与反实在论给出了对立回答。数学柏拉图主义认为数学对象（数、集合、函数）是独立于人类心智存在的抽象实体——数学家是"发现者"而非"发明者"。哥德尔、哈代和彭罗斯都是柏拉图主义者。他们认为，数学真理的客观性和"不合理的有效性"只有在柏拉图主义的框架下才能得到解释。

数学建构主义与直觉主义接近：数学对象是人类心智的构造——数学家是"发明者"而非"发现者"。布劳威尔的直觉主义数学坚持，只有能够被心智构造的数学对象才是合法的。这一立场导致了对排中律的拒绝——对布劳威尔来说，"存在"意味着"可以被构造"。

柏拉图主义主张数与集合独立于我们存在，数学家是发现者；哥德尔、哈代常被归入这一侧。形式主义把数学看成按规则操作符号，可靠性首先是系统不推出矛盾，希尔伯特纲领是其经典表述。直觉主义则把数学对象当作心智构造，「存在」必须能给出构造。三派不宜合并：形式主义不是建构主义的别名，前者可以接受经典逻辑与非构造性存在证明。

工作中的数学家多数采取实用态度：不管本体论，只要证明对同行可核验。数学哲学上的分歧仍会在选择公理、接受排中律、以及计算机证明算不算理解时重新冒出来，只是日常论文不必先站队。

柏拉图主义最强的直觉来自强制力：没有人能靠投票让一条已证定理变假。形式主义最强的直觉来自实践：我们实际在纸上搬符号。直觉主义最强的直觉来自可构造性：存在应对应能给出的对象或程序。三种直觉各自抓住数学的一面，把其中一面说成全部，就会把另外两面说成错误。

当代大多数数学家采取一种"工作数学家"的实用主义态度：不关心数学对象是否"真的存在"，只关心数学推理是否正确。正如大卫·希尔伯特所说："数学中没有不可知。"——无论哲学立场如何，数学证明的有效性是客观的。

第5页 · 数学在现代社会#

标题：数学是科学的语言——也是技术的引擎

数学在现代社会中的作用远远超出了"纯理论"的范畴。物理学、化学、生物学、经济学、工程学——几乎所有自然科学和社会科学都以数学为语言。微积分描述变化，线性代数描述结构，概率论描述不确定性，信息论描述通信——数学为科学提供了统一的表达方式。在技术领域，数学是现代文明的隐形引擎。互联网的运行依赖于信息论和密码学；GPS定位依赖于相对论和最小二乘法；搜索引擎依赖于线性代数（PageRank算法）；人工智能依赖于优化理论和概率论。没有数学，现代技术文明将不复存在。

数学还在不断拓展新的疆域。范畴论将数学本身作为数学对象来研究——"数学的数学"。同伦类型论将拓扑学和类型论统一——为数学的形式化提供了新的基础。量子计算将计算理论与量子力学结合——拓展了可计算性的边界。

现代社会看见的是计算、统计与优化，较少看见证明。但算法能被信任，往往是因为其正确性或复杂度界被证明过；密码学、误差校正与编译器验证都把「模式」写成可检查的推理。把数学只当成计算工具，会漏掉它作为证明学科的那一半。

范畴论与形式化证明助手改变的是检查的尺度，不是把数学改回实验科学。新领域出现时，仍然先问结构与证明，再问工程用途。

即使工程现场只调用库函数，库函数的规格仍然是定理：排序稳定、加密可还原、浮点误差有界。数学作为模式与证明的学科，在这些规格里继续工作，并不因为使用者看不见证明就改了性质。

事实卡#

1. 卡1

   欧几里得《几何原本》（约前300年）是历史上最有影响力的数学教材，从五条公设推导出465个命题。

2. 卡2

   哥德尔不完备性定理（1931）证明了任何包含算术的一致形式系统都是不完全的。

3. 卡3

   维格纳的"不合理的有效性"（1960）至今仍是数学哲学的核心谜题。

4. 卡4

   数学三大哲学流派——逻辑主义、形式主义、直觉主义——各有优势和局限。

引用#

跨域连接#

• 公理：同一组公理，一派读作对某种实在的描述，另一派读作约定的游戏规则，而两派推出的定理一模一样。这说明本体论分歧不改变数学实践，它改变的是当公理不够用时该怎么办：把新公理当成发现，还是当成又一次约定。
• 柏拉图主义：数学对象独立存在这一主张，最有力的支撑是数学真理的强制性——没有人能靠约定让一条定理变假。但它也有代价：必须解释我们如何认识一类不在时空中、不与我们发生因果作用的对象，而这个认识论缺口至今没有被填上。
• 皮亚杰的认知阶段：儿童先在具体操作中建立数与量的概念，再逐步脱离实物。发生学路径不等于本体论结论：知道数概念如何在个体身上长出来，并不能推出数只是心理构造，正如知道人怎样学会辨认星星，并不影响星星是否存在。
• 抽象：好的抽象让使用者不必回看内部实现，群、环这类结构正是这种接口——只要满足公理，定理就适用，不管对象是数、矩阵还是变换。这解释了数学的复用能力：一次证明可以覆盖后来才被发现的所有实例。
• 元素周期表：它先是从经验规律排出来的一种模式，几十年后才由电子填充规则解释。这支持"数学是关于模式的科学"这一说法，却不支持模式独立于物质存在：模式先被看见、后被推导，恰恰说明它是在具体材料上被读出来的。

参考文献#

1. Hardy, G.H. A Mathematician's Apology. Cambridge University Press, 1940.
2. Wigner, Eugene. "The Unreasonable Effectiveness of Mathematics in the Natural Sciences." Communications in Pure and Applied Mathematics, 1960.
3. Gödel, Kurt. "Über formal unentscheidbare Sätze der Principia Mathematica." Monatshefte für Mathematik und Physik, 1931.
4. Courant, Richard & Herbert Robbins. What Is Mathematics? Oxford University Press, 1941.
5. 李文林. 《数学史概论》. 高等教育出版社, 2011.
6. 吴文俊. 《数学的本质》. 湖南教育出版社, 1999.
7. Hilbert, David. Grundlagen der Geometrie. Leipzig: Teubner, 1899.
8. Brouwer, L. E. J. "Intuitionism and Formalism." Bulletin of the American Mathematical Society 20 (1913): 81–96.
9. Shapiro, Stewart. Thinking about Mathematics: The Philosophy of Mathematics. Oxford University Press, 2000.