这一集,我们讲欧几里得的《几何原本》。
中学时代,我们大概都经历过“已知、求证、证明”。
很多人讨厌几何,是因为它要求我们证明那些“一眼就能看出来”的东西。
但两千三百年前,欧几里得留下的这套方法,真正重要的地方,并不是证明了多少定理。
而是他把那些没有被证明的东西,明确写在了第一页。
一个结论要靠前提支撑。
可是前提又靠什么?
如果一层层追问下去,总要有一个地方停下来。
欧几里得选择的方式是:
不隐藏这个停止的位置。
把它公开。
让所有人知道:
这里,是我暂时接受的起点。
本期节目,我们会讨论:
为什么《几何原本》的价值,不在于发现了多少数学结论,而在于整理出了一套可靠的知识结构;
公理、公设为什么是任何思想体系无法绕开的基础;
素数无限多的证明,如何让人第一次感受到“确定性”;
为什么第五公设被两千年后的人修改,却反而证明了这本书的伟大;
一个体系被发现弱点,为什么不是失败,而是它足够诚实的回报。
欧几里得留给我们的,也许并不只是几何。
而是一种面对自己判断的方法:
在开始讲道理之前,先问一句:
我的这一整套话,建立在什么我从来没有检查过的东西上?

