希尔伯特几何基础

如果你在中学时曾为几何证明题头疼过——那些“已知、求证、证明”的三段式，那些“同位角相等”“内错角相等”的定理——你大概不知道，这套逻辑严密的体系，最终完成于1899年。

那一年，一位37岁的德国数学家出版了一本薄薄的书，书名朴素得惊人：《几何基础》。作者叫大卫·希尔伯特——他后来被称为“数学界的亚历山大大帝”，哥廷根学派的杰出领袖。但那时的他，只想做一件事：彻底修复欧几里得两千年前留下的漏洞。

欧几里得留下了什么漏洞？

你大概记得《几何原本》开篇那几个“公设”和“公理”——比如“从一点向另一点可以引一条直线”“所有直角都相等”。看起来没什么问题。但如果你真的较真，会发现欧几里得的定义其实经不起推敲。什么叫“点”？什么叫“直线”？欧几里得的定义是“点是没有部分的”“线是没有宽度的”——这更像诗，不是数学。

两千年来，无数数学家在这些模糊的定义上修修补补。直到希尔伯特出手。

希尔伯特做了什么？

他做了一件极其简单又极其颠覆的事情：放弃描述性定义，用公理来界定概念。

在希尔伯特的体系里，你不需要知道“点”是什么、“直线”是什么。你只需要知道：有五组公理规定了它们之间的关系。例如：两点确定一条直线；一条直线上至少有两个点；不在同一条直线上的三个点确定一个平面……这些公理就是“点”和“直线”的全部定义。

他把全部公理分为五组：关联公理、顺序公理、合同公理、平行公理、连续公理。从这五组公理出发，他推导出了欧几里得几何的全部定理。这意味着：几何学不再依赖你的直觉，不再依赖你画出的图形。它只依赖逻辑。

这本书改变了什么？

它改变了一切。

它把几何学从一种“具体的特定模型”上升为“抽象的普遍理论”。它让数学家明白：你可以定义任何一个公理系统，只要它内部不自相矛盾，它就是合法的数学。这个思想后来催生了非欧几何、抽象代数、甚至整个现代数学的公理化运动。

希尔伯特在书中还做了一件更厉害的事：他用解析几何的方法，证明了欧氏几何的公理系统是相容的——也就是说，这些公理不会导出互相矛盾的结论。这个工作的意义远远超出了几何本身，使他成为现代公理化方法的奠基人。

这本书好读吗？

实话实说——不好读。有豆瓣读者坦言：“没有耐心读懂，平时工作中也没有什么用，只能是仰望一下”。这本书不是写给初学者看的科普书，它是写给“对几何基础有强烈兴趣的数学科班学生”看的。

但正因如此，它才值得被知道。你不需要读完它，甚至不需要读懂它。你只需要知道——我们今天所理解的“数学”，那个由公理、定义、证明构成的逻辑大厦，就是从这本书开始的。

希尔伯特去世后，他的墓碑上刻着一句德文：“Wir müssen wissen. Wir werden wissen! ”——“我们必须知道，我们必将知道”。这本《几何基础》，就是他向世界证明这句话的第一步。