数学到底是什么？“发现”与“发明”为什么一直存在争论

作者：lihao技术文章发布：2026-10-18数学与物理直觉 · 第 01 期

从偶数与棋盘覆盖的推导出发，区分符号、规则、数学结论与现实应用，说明发现和发明之争为什么不能靠一句口号结束。

数字符号可以换，结论能随意换吗

人类可以选择用“2”、II或别的符号表示二，但不能仅靠换写法，就让两个有限偶数的和变成奇数。这种张力使“数学是发现还是发明”成为一个真实的哲学问题。

若说数学全由人发明，必须解释为什么一旦接受某些规则，就会遇到不由个人意愿决定的约束；若说数学对象独立存在，必须解释人怎样认识不在时空中直接活动的对象。两边都有需要承担的解释责任。

本文不裁定全部数学哲学，而是区分四层：符号怎样制定，对象与规则怎样界定，结论怎样推出，数学模型怎样用于现实。混在一起时，两个人可能只是在不同层面各说一句正确的话。[1]

做一次不依赖测量的小推导

在整数范围，定义偶数为可写成2k的数，其中k为整数。设a=2m、b=2n，则a+b=2m+2n=2(m+n)。因为m+n仍为整数，和仍然是偶数。

这一步不需要把世界上所有偶数逐个相加。它依赖定义、整数的封闭性和代数规则，结论对这些条件下的任意m、n成立。符号可以更换，支持关系不会仅因改字体而变化。

但若程序使用会溢出的有符号整数，或把“加法”另行定义，不能直接把这个整数证明当作程序行为证明。数学定理有适用结构，实现还要满足对应契约。这里的量是无量纲整数。

发现式体验为什么那么强

构造一张8×8棋盘，去掉两个对角角格。标准黑白交替着色下，两格同色，因此剩余两色数量为30与32。每个覆盖相邻两格的多米诺骨牌必覆盖一黑一白，所以无论怎样摆放，不能恰好覆盖剩余棋盘。

棋盘、颜色和摆放规则由我们设定；一旦条件固定，不能覆盖的结果却不是投票能改变的。它说明证明可以揭示一类尝试共同受制的结构，而不是只有“我暂时没找到摆法”。

这仍不单独证明柏拉图主义。一个形式主义者可以说，我们发现的是所定系统的后果；结构主义者可以强调位置关系；实在论者可以认为结构本身不依赖人。相同的数学推导并不自动选出唯一的对象理论。

几种立场，各自保住了什么

数学实在论通常强调数学真理不随人的信念改变；形式主义取向突出符号系统、规则与一致性；构造主义取向要求更严格地交代对象的构造与证明；结构主义则关注对象在关系结构中的位置。[1] 它们内部也有分支，不能用四个标签代替原著。

最强的实在论压力是认识问题：若对象与我们没有普通物理因果联系，我们如何知道它们？最强的“任意发明”压力是约束问题：为什么同一规则下的结论会抵抗我们的愿望，甚至出现一开始没预见的结果？

一个审慎的暂时回答是：人类确实创造记号、问题和形式系统，也会发现这些系统中不显然的关系。这个层次区分能减少误会，却没有消除“系统之外是否存在独立数学实在”的哲学争论。

数学可用于现实，还要多做哪一步

把地面看成平面，可以用矩形面积公式估算土地；若地形起伏很大或边界弯曲，模型误差就需要处理。公式在自己的几何条件下正确，不等于它自动精确描述任何实际地块。

因此要分开证明误差、数值误差与建模误差。证明检查推导是否成立；有限精度计算可能舍入；把现实映射到模型又可能遗漏因素。数学应用成功，既体现结构的力量，也依赖假设与测量契合。

本篇棋盘是离散数学构造，偶数结论是演绎推导，没有做物理测量。若有人换成可重叠骨牌、允许斜接或改变棋盘拓扑，就应重新检查覆盖条件，而不是沿用原结论。

一个证明为什么比很多数值例子多说了一步

检查2、4、6都是偶数，只能覆盖有限对象；用a=2m、b=2n推导a+b=2(m+n)，则把任意性保留在变量中。证明的力量来自：每一步只用了对全部相应对象成立的规则，所以结论不依赖选中的几个例子。

但证明也不是“写了字母就可靠”。必须说明对象属于什么结构、使用哪些公理、推理规则是否合法。若m、n不是整数，原来“m+n仍为整数”的理由就失去前提；若我们讨论的是某个有截断或例外规则的实现，又要重新建立对应关系。

棋盘证明同样依赖不变量：每块骨牌消去相同数量的两色格子。只要覆盖规则保持，最终覆盖的两色数量必相同。反证只需发现目标状态违反这个必要条件，而不必枚举全部摆法。它说明结构如何约束可能性，也说明为什么“我试了很久没成功”弱于不可能性证明。

“不由我决定”与“独立存在”，中间还隔着什么

实在论者可以指出：我们在不知道结论时就已经受到数学关系约束，后来只是发现它。形式主义取向则可回应：规则被制定以后，其后果当然不受个人意愿改变，这并不需要另设一个独立对象世界。

这两种解释都能承认上述偶数证明与棋盘不变量。争议因而不在算式是否成立，而在如何解释其客观性与必然性。若用“答案不能乱改，所以柏拉图主义已证明”，就把共同承认的现象直接当作唯一理论的证据。

反方向的论证也需要谨慎：记号确实由人制定，不等于结论任意。语言里的“月球”是人为词语，但词语的人为性不能证明月球也是人为创造；类似地，数学记号的人为性不能直接决定对象的存在方式。类比只指出推论不充分，不证明两类对象完全相同。

数学哲学因此要求分别处理语义、认识与对象问题。一个立场不能只解释最顺手的一面：强调独立真理时要面对知识如何可能，强调实践创造时也要解释跨个体可纠错的约束。

不同公理体系，会不会让数学变成相对意见

选择不同公理，可以研究不同结构。欧氏与非欧几何的差别，不等于同一条件下任意结论都可接受，而是某些公理条件改变后，可推结论也改变。讨论具体定理时，应把条件连同结论一起陈述。

如果两人在不同系统中使用同一词，又省略系统差异，就可能出现假冲突。相反，在同一明确系统里，一个证明若违反规则，不能用“我选择了另一种真理”来辩护；改变系统必须显式提出并说明意义。

应用到物理时，又多出经验选择：哪一种几何、概率或动力学模型适合当前对象，要由测量与预测比较判断。数学内部的有效推导，不能独自决定现实采用哪套结构。

因此，发明与发现可以在不同层面并存，但这种调和也有边界。它说明实践中的创造与约束如何共处，尚未给所有数学本体论争论提供最终答案。

一致性、真理与应用成功，为什么不能互相替代

一个形式系统没有导出矛盾，至少避免了某类内部崩溃；这并不说明其中每个符号都已经对应到现实对象，也不说明它是研究者唯一应当选择的系统。形式一致性与经验适用是不同评价。

反过来，一个公式在许多测量中表现良好，也不自动证明对数学对象存在方式的某种理论。物理模型可以依赖近似与有效域，实际应用成功不要求我们先裁定柏拉图主义与形式主义之间全部争论。

可以把数学实践中的客观性理解为若干可辨性质：推理规则公开，证明可被批评，结论不依赖某个人的偏好，不同表示间可以建立结构对应。不同数学哲学会对这些性质作不同解释；共同承认实践事实，并不让解释争论失去意义。

因此，发现与发明之争最值得保留的，不是二选一投票，而是三项责任：解释为什么规则具有约束，解释我们如何认识这些关系，解释它们怎样与世界建立有效联系。只回答其中一项，通常还不足以给出完整立场。

把争论变成更具体的问题

下次听到“数学当然是发明的”或“数学显然早就在那里”，可以追问：你说的是符号、规则、结论、结构，还是独立存在的对象？你准备怎样解释证明的约束力与数学知识的来源？

这能把立场宣告变成可继续讨论的论证。下一篇从数字本身开始：一根棍子、符号1与数1，究竟哪里不同？

来源、证据与阅读路线

1. Stanford Encyclopedia of Philosophy：Philosophy of Mathematics，各主要立场及认识问题
2. 欧几里得《几何原本》第VII卷定义1—2，单位与数的古典界定；用于历史对照

证据范围：偶数相加证明与棋盘计数用于展示约束、证明和结构；有限算例不能替代一般证明，也不据此裁定数学对象存在的唯一哲学立场。

版本1.2 · 2026-10-18：完成事实、条件与引用复核，逐篇明确证据方法；有实质缺口处补齐推导、反例或原题。原网址与首次发布日期保留。