从亚里士多德到哥德尔：跨越两千年，数学是什么？遇见数学

数学，到底是什么？

这是一个困扰了人类两千多年的问题。作为一门最古老、最严谨的学科，数学至今没有一个被所有人普遍接受的定义。不同时代的数学家、哲学家，站在不同的思想立场上，给出了截然不同、甚至针锋相对的答案。而每一次面对如何定义数学的追问，都推着这门学科往更深处前行。

在往下读之前，不妨先想想最认同哪一种数学的定义？在你心里，数学到底是什么？

古典时代：从计数与测量出发的初心

人类对数学的最初认知，从来都来自现实世界。我们的祖先用结绳计数，用丈量土地划分边界，数学从诞生的第一天起，就和数量、测量牢牢绑定在一起。

最早给数学定下经典定义的是亚里士多德。他用一句话给这门学科勾勒出了轮廓：数学是研究数量的科学。

在他的体系里，数学被清晰地分成了两支：算术研究离散的量，也就是我们熟悉的自然数；几何研究连续的量，比如线段的长度、平面的面积。但亚里士多德最敏锐的洞察，是点破了数学的核心特质，也就是抽象性。他提出，数学研究的从来不是某个具体苹果的数量、某块具体土地的形状，而是将数量与形状从具体实体中抽离，视作可以在思想中纯粹且独立研究的性质。这也是为什么，数学能超越具体的场景，成为一门通用的科学。

这个定义统治了西方世界近两千年，在这个漫长的古典时代里，人们始终坚信：数学是对现实世界的描述，是我们理解自然的工具。这个共识稳固得像欧几里得几何的公理，直到 19 世纪，被一场颠覆性的理念彻底击碎。

19世纪的反叛：数学挣脱了现实的枷锁

在 19 世纪法国哲学家奥古斯特・孔德这里，走到了最完善的形态。他从实用的角度，给了数学一个极具生命力的经典定义：数学是间接测量的科学。

▲ 奥古斯特·孔德（1798年1月19日—1857年9月5日）

孔德所强调的“间接”一词，恰恰道出了数学最强大的力量。我们没法拿一把尺子，直接量出地球到月球的距离，却能通过三角视差法，算出精准到米的数值；没法直接剖开原子，看清它的内部结构，却能通过光谱实验的数据，推导出原子核外电子的排布规律；没法穿越时空，提前看到百年后的气候变迁，却能通过流体力学与热力学方程，做出可靠的预测。数学，就是人类穿透现实限制，洞见肉眼无法查看世界的工具。

几乎就在孔德写下这个定义的同一时期，群论、射影几何、非欧几何的接连诞生，彻底打破了数学必须依附于现实世界的千年铁律。数学家们突然发现，原来可以不用管现实世界是什么样，只要一套规则自洽，就能创造出一整个全新的数学体系。

如非欧几何就推导出了一套完全自洽、没有任何矛盾的几何体系。这个发现像一颗惊雷：原来数学可以不描述我们生活的现实世界，只在纯粹的抽象空间里，独立生长。

这场革命不止改变了数学的研究对象，更掀翻了它原本稳固的根基。人们突然开始慌了：如果数学不是对现实世界的描述，那它到底是什么？它的确定性从哪里来？我们怎么确定，推导出来的东西是对的？

围绕这些终极问题，20世纪初的数学界爆发了一场世纪大论战。顶尖的数学家们分成了三个针锋相对的阵营，各自给出了对数学本质的回答，这就是今天熟知的数学哲学三大流派：逻辑主义、直觉主义、形式主义。

世纪论战：三大流派的数学本质之争

逻辑主义：数学，是逻辑的延伸

最早给这场论战定下基调的，是美国数学家本杰明·皮尔士，也就是实用主义哲学家查尔斯·皮尔士的父亲。1870年，他给出了一个颠覆性的定义：数学是推导必然结论的科学。

把这个主张推到极致的，是伯特兰·罗素。1903年，他在《数学原理》中直接宣告：所有数学都是符号逻辑。

在逻辑主义者眼里，整个数学大厦，都能从最基础的逻辑公理里，一步步严丝合缝地推导出来。所有的数学概念，都能用最基础的逻辑术语定义；所有的数学定理，都能通过逻辑规则演绎出来。罗素和怀特海耗费十余年心血撰写《数学原理》，甚至用了数百页的繁复推导，才从最基础的逻辑公理出发，完成了 的严格证明。他们的终极目标，就是为数学搭建一个绝对稳固、绝无谬误的逻辑根基。

直觉主义：数学，是心智的构造

和逻辑主义的客观逻辑完全相反，直觉主义者眼里，数学根本不是什么独立于人的客观真理，而是人类心智主动构造出来的产物。

这个流派的创始人，是荷兰数学家布劳威尔。他在博士论文里直接挑明：数学的唯一可能基础，必须在心智构建中寻求，需要仔细观察哪些构建是人类直觉允许的，哪些不是。他的学生海廷说得更直白：直觉主义数学，本质上是对人类智力能达到的极限的探索。

直觉主义最核心的反叛，是拒绝在无限集合上使用排中律。

什么是排中律？就是我们常说的“非真即假”：一个命题要么是真的，要么是假的，没有中间状态。比如“这个数是整数”，这句话要么对，要么错，没有第三种可能。在有限的世界里，这个规律从来不会出错。但布劳威尔指出，在处理无限的概念时，我们无权直接套用这条规律，它不再具备普遍有效性。