希尔伯特 vs 庞加莱：形式主义 vs 直觉

对话背景#

大卫·希尔伯特（David Hilbert, 1862–1943）1899 年发表《几何基础》（Grundlagen der Geometrie），用五组公理——关联、顺序、合同、平行、连续——重建欧几里得几何。「点、直线、平面」在书中首先是满足这些关系的「事物」，不必先有空间图像。1900 年 8 月 8 日，他在巴黎第二届国际数学家大会的文献与历史分组上作报告《数学问题》，口头讲了 23 个问题中的 10 个；全文随后印出，成为 20 世纪的问题表。第二问题要求证明算术公理的无矛盾。

亨利·庞加莱（Henri Poincaré, 1854–1912）是分析、天体力学与位置几何——后来称为拓扑——的中心人物。1895 年《位置分析》（Analysis Situs）把同调与基本群写成工具。1902 年《科学与假设》主张：几何公理是约定，算术的递归推理则是先验综合。同年他为《几何基础》写长篇书评。1900 年大会他任主席，8 月 11 日作《直觉与逻辑在数学中的作用》。1908 年罗马大会的《数学的未来》，被读作对那张问题表的迟到答复。

庞加莱 1912 年去世。对话停在两人共同在世的年代；哥德尔 1931 年只出现在分析里。把他直接称作「直觉主义者」也不准确：他维护归纳直觉、批评非直谓定义，却没有布劳威尔后来那种对排中律的系统废除。

第一幕：公理化方法#

希尔伯特：庞加莱先生，几何应当能写成一份没有隐含前提的表。1899 年那本书把欧几里得拆成五组公理。每一条定理只准使用表上写明的关系。点、直线、平面首先是三个「事物」系统。若有人把它们换成桌、椅、啤酒杯，只要关系满足公理，全部定理仍然成立。这不是玩笑，是在说：几何研究的是关系，不是图画。

庞加莱：1902 年我为这本书写过书评。您把篱笆拆掉了：承认非欧几何还不够，连公理的来源都可以先不谈。这是哲学进展。我也写了：它不完整。公理被列出，我们却不知道它们从哪里来。空间图像、运动群、固体的经验，书里没有位置。检查「有没有漏写一条暗中在用的公理」，机器式推演是唯一判据——您的书正是为此。用它来教人发现定理，却会把研究者烤干。

希尔伯特：烤干不是目的。目的是把直觉里已经用到、却尚未写明的部分逼出来。表列全了，直觉并未取消；它只是不再被允许冒充证明。弗雷格来信说概念必须先有意义才能写公理。我的答复相反：概念由关系固定，关系写成句子，就是公理。公理是定义。

庞加莱：几何公理是伪装成公理的定义——这一点我们其实接近。我在《科学与假设》里写：它们既不是先验综合，也不是实验事实，而是约定。实验引导选择，选择仍是自由的，只受无矛盾约束。欧氏几何被留下，不是因为它必然，是因为它最方便。算术不在此列。算术的递归推理不是约定。

希尔伯特：方便与否是应用几何的事。纯几何作为公理系统，只问：这组句子推出什么，推不出什么。平行公理独立，因为存在一种模型满足其余公理、不满足它。独立性证明本身已经是严格性，不必等待关于空间的形而上学。

第二幕：一致性问题#

希尔伯特：1900 年巴黎的第二问题，是要证明算术公理无矛盾。几何的无矛盾，我已经归约到算术：给公理一个数的模型，几何若推出 $0=1$，算术也会。算术自己的无矛盾不能再往下推给更简单的科学。它必须用有限的方法——只涉及具体符号串的组合与检查——来证明。

庞加莱：1904 年海德堡您那篇《逻辑与算术的基础》，我在 1905 到 1906 年《数学与逻辑》里逐句看过。您要证明的系统里已经含有递归推理，证明过程中又对「任意具体写出的数字」做归纳。用归纳去担保含有归纳的系统，是预期理由。有限方法若已经在用「任意 $n$」，它就不是有限的。

希尔伯特：我检查的是有限长的证明。证明是写在纸上的符号串，长度是一个具体的数。对象可以谈无穷，手续本身不必是无穷。无矛盾意味着：从公理出发，推不出 $0=1$ 这一串符号。检查「推不出」可以只在有限组合上进行。

庞加莱：「任意一个证明」已经是全称。全称若靠归纳获得，归纳就是您元理论的引擎。引擎与对象理论里的第五条皮亚诺公理，是不是同一条原则？若是，您在用待证的东西做工；若不是，您必须把两条原则的差别写清楚。1905 年我看见的文本里，差别还没有被写清楚。

希尔伯特：我承认循环的嫌疑必须回答。回答不是放弃纲领，是把元理论再削窄：只对纸上具体写出的数字做逐步建造，而不把「所有证明」当成一个完成了的无穷。对象理论里的归纳公理，与这种看得见的逐步建造，不该被当成同一句话。区分还没有被我写稳，但方向是这个。

第三幕：直觉的地位#

庞加莱：让我把算术这一侧说完。数学归纳——从 $P(0)$ 和 $\forall n\,(P(n)\to P(n+1))$ 得到 $\forall n\,P(n)$——不能还原成有限条三段论。它让我们一次跳过无穷多步 modus ponens。这种跳跃是先验综合的。逻辑只能把已经放进前提的东西取出来；归纳能真正往前走。所以数学不是一架巨大的同义反复。

希尔伯特：归纳可以写成皮亚诺算术的一条公理。写成公理之后，它就是推理规则，不再是一种内心视觉。视觉因人而异；规则对所有检查者相同。

庞加莱：任何句子都可以被设为公理。设为公理不回答「它为什么可靠」。可靠来自我们看见自然数可以这样走下去。看见不是神秘体验。它与「看见一个三段论有效」是同类的理智行动。没有这种行动，符号串只是墨迹。

希尔伯特：墨迹正是我想要的。证明作为符号串，对错不依赖于谁感到自己懂了。懂是教学与发现的事；可靠是检查的事。把两件事绑在一起，数学就会随数学家的心情起伏。

庞加莱：发现确实靠直觉。1880 年我踩上奥姆尼巴士的踏板时，富克斯函数的变换与非欧几何叠在一起——不是从公理表里读出来的。事后可以写成证明；写成之前不是证明。您的表能检查事后写下的东西，不能代替踏板上的那一步。书评里说「推理机器对教学是致命的」，指的就是把事后检查当成全部数学。

第四幕：排中律之争#

希尔伯特：排中律——$P\vee\neg P$——必须留下。没有它，存在性证明会大批坍塌。我 1888 年前后关于不变量有限基的定理是纯存在性结果：不给出一组基，只证明基存在。果尔丹说「这不是数学，这是神学」。我的答复是：内在理由往往在存在性里，不在清单里。

庞加莱：我没有跟随后来那种对排中律的全面禁用。无穷上「存在一个未被构造的 $N$」，我不愿把它与「我手里有一个 $N$」当成同一句话。非直谓更危险：用「所有具有某性质的对象」来定义其中一个，总体尚未稳住，元素已经在用总体。恶性循环从这里进来。集合论的悖论，我首先归咎这种循环，而不是排中律本身。

希尔伯特：存在即无矛盾。一个对象若能无矛盾地嵌入公理系统，它就有数学存在。构造是额外的优点，不是存在的定义。您对非直谓的警惕，我听得见；把警惕写成「没有清单就没有对象」，会把分析里已经在用的上确界、最小元一起赶出去。

庞加莱：上确界是分析的约定还是算术的必然？连续统在我看来首先是一个先验的量概念，分析在它上面工作。用完成了的实无穷去定义其中单个实数，是把总体放进元素。直谓的重建更慢，也更安全。我并不声称已经把分析全部直谓地重写完毕。我声称：速度不能充当合法性。

希尔伯特：合法性的判据仍是无矛盾。若直谓的子系统无矛盾，它是一份好的子系统。若经典分析作为一个整体无矛盾，它也合法。第二问题要的是后一份担保。前一份担保是有价值的局部工作，不是对后一份的否决。

第五幕：数学的可靠性#

希尔伯特：把数学完全写成公理与推理规则，可靠性就不再依赖个人气质。公理无矛盾，规则可检查，定理从公理推出。基础争论可以结束。

庞加莱：结束的前提是无矛盾已被有限方法证明。1905 年我看到的循环还在。您要把元理论削窄，循环也许变窄，未必消失。即使符号检查全部通过，理解仍没有被还原。一份没有人能讲明白的证明，作为检查对象可以合格，作为数学可以不合格。标准有两条。

希尔伯特：两条可以并存，只要不互相否决。检查是底线，理解是发现与传授。1900 年我在巴黎说：每个明确的数学问题都可以判定。那是工作假设。第二问题、第十问题，是把假设换成具体任务。

庞加莱：1908 年在罗马我谈数学的未来，没有对着 23 条逐条唱反调。我把位置几何放在更中心，也强调应用。您的第五、第十六问题已经碰到拓扑。问题表与领域感不是同一张地图。可靠性若有经验的成分——数学在物理里有效——那也不是耻辱。几何的约定本来就受经验引导。

希尔伯特：把算术的可靠性交给物理，等于放弃先验科学。几何可以是关于空间直觉的逻辑分析，同时仍要求公理无矛盾。算术若也等物理来担保，则 $2+2=4$ 会变成一条实验定律。这不是我能接受的降级。

第六幕：遗产#

希尔伯特：我们的分歧不必写成两座教堂。形式化给出检查；直觉给出问题与意义。缺一不可。

庞加莱：两者都需要。我不确定它们能否做成同一种活动。检查追求对所有人相同的对错；直觉追求为什么对。机器可以做前者，不能做后者——不是不够快，是没有尚未写成规则的那一部分。1902 年我写过：机器不懂我们称为直觉的模糊本能。那是在说公理表需要一台不会偷用直觉的检查者。把它读成「永远不要机器」，不是我的意思。

希尔伯特：检查者正是纲领所要的。创造者仍然是人。若有一天检查本身被证明有限方法做不到——我此刻并不接受这个「若」——纲领也只是失去其最强形式，不是失去公理化本身。几何已经从公理化里得到独立性与分类的清楚图景。算术配得到同样清楚的图景。

庞加莱：清楚的图景我赞赏。把图景说成全部数学，我拒绝。位置分析里，欧拉示性数、对偶、基本群，首先是看见空间如何粘合，然后才是符号。看见的步骤写进《位置分析》花了十年。

第七幕：数学教育#

希尔伯特：学生应当先看见骨架：定义、公理、定理、证明。骨架立住，才知道自己在哪一层上说话。

庞加莱：学生应当先被问题抓住。没有被抓住的严格是空洞的。踏板上的那一步教不会，但可以准备：让人看见非欧变换与周期函数会在意外的地点重合。准备之后，再给公理。

希尔伯特：直觉会骗人。「看起来对」与「已证」必须能被学生自己分开。分开的工具就是可检查的证明。

庞加莱：只给工具、不给想用工具的理由，学生会离开。严格性是爱之后的纪律，不是爱的替代。您的推理机器对研究者可以是解毒剂，对初学者是干燥剂。剂量依年龄而变，原则不必做成同一句口号。

第八幕：数学与经验#

庞加莱：几何的可靠性有一层经验。不是「量一量三角形内角和就证明了欧几里得」，而是：哪一种度量几何与物理搭配最方便，由实验引导，由约定完成。算术不走这条路。归纳的直觉先于实验。把两层混成「数学全部来自经验」或「数学全部与经验无关」，都会说错。

希尔伯特：几何在我这里始终靠近自然科学。公理化是对空间直觉的逻辑分析，不是把几何从世界里删掉。分析完成之后，系统必须无矛盾，模型可以是数，也可以是别的事物。经验不代替无矛盾，无矛盾也不代替经验选择哪一个模型去物理里用。

庞加莱：于是我们其实在两层上说话。您要的是系统内部的检查权；我要的是系统外部的意义权。1900 年巴黎，您在文献分组里念问题，我在闭幕报告里念直觉。两份文本可以对照着读，不必合成一份。我能活着参加的对照，到此为止。

分析#

两人的对立常被写成「形式主义对直觉主义」。标签过粗。庞加莱维护归纳作为先验综合、几何作为约定、非直谓作为循环风险；他没有把排中律从无穷命题上系统删掉，那是布劳威尔 1907 年以后的纲领。希尔伯特要公理写全、证明可检查、算术无矛盾能用有限方法看见。庞加莱 1905–1906 年的预期理由，击中的是早期一致性素描，不是「几何不该公理化」。希尔伯特日后区分内容归纳与形式归纳，正是在回答这一击。有穷元理论是否仍强到足以证明算术无矛盾，要等到两人不能对谈的年代才有定理。

哥德尔 1931 年第二不完备定理给出精确限制：包含初等算术的一致系统，不能在内部证明自身无矛盾。庞加莱 1912 年已去世，不能对这条定理表态。它并不取消《几何基础》里的独立性，也不取消《位置分析》里的拓扑工具。它取消的是纲领最强的那一句：用系统内部的有限方法，给算术一份绝对的无矛盾证书。希尔伯特 1930 年在哥尼斯堡说「我们必须知道，我们将会知道」；同一时期哥德尔公布了不完备性。那是庞加莱身后的下一幕，不应倒填进 1902 年的书评。

核心分歧#

证明首先是可检查的符号手续，还是首先是被理解的理智行动？希尔伯特把检查当作客观性的定义，理解留给心理与教学。庞加莱把归纳直觉当作算术可靠性的来源，把几何公理当作受经验引导的约定，并拒绝让事后的符号检查冒充发现。可靠性在希尔伯特那里是无矛盾；在庞加莱那里是无矛盾加上可理解，外加一层对非直谓总体的禁令。

当代启示#

计算机辅助证明迫使「检查」与「理解」分家，而这正是 1902 年书评已经分开的两件事。机器作为不会偷用直觉的检查者，庞加莱并不拒绝；他拒绝的是把检查者说成发现者。形式化证明助手实现的是希尔伯特的底线。若一份证明只有机器读得完，庞加莱的第二条标准就仍欠着。欠债不等于非法。1900 年前后那场关于证明是什么的争吵，还没有被装置结算。

延伸思考#

• 内容归纳与形式归纳的区分，是否足以回答 1905 年的预期理由？
• 几何作为约定、算术作为先验综合，这组分工今天还站得住吗？
• 一份只有机器能通读的证明，满足希尔伯特的标准到什么程度、庞加莱的标准到什么程度？

延伸阅读：希尔伯特《几何基础》(1899)；希尔伯特《数学问题》(1900)；庞加莱《科学与假设》(1902)；庞加莱对《几何基础》的书评，Bulletin des Sciences Mathématiques (1902)；庞加莱《数学与逻辑》(1905–1906)；庞加莱《科学与方法》(1908)；庞加莱《位置分析》(1895)