上的小孩会愿意去清理垃圾。我们通常不会作出让那个小孩去清理整个操场的命令。卖给你生菜但售价昂贵的食品杂货店老板、出租房子给别人但不租给你的出租屋房东、通过雇用你的邻居而不雇用你的方式改善了你的就业机会的企业老板，所有这些人都为你带来了一点小小的益处，就像那个在操场上捡起几张糖果包装纸的小孩。希望他们为你做得更多是很好的，但要求他们为你做得更多却是无礼的。

引言

某些信念事关重大。你完全有必要坚守自己在自由意志、自由贸易等方面的信念，但请不要相信“狂踩油门会让车停下来”。知道正确处理此类事务的方法是很重要的，所以我们必须对此有所了解。

我家地下室里安装了一台热水器。我家二楼浴室里安装了淋浴喷头。那么，怎样让热水输送到喷头呢？根据一项（我在每天吃午饭的休息室里所做的）非正式调查，6个经济学博士都相信“你家有水泵”，而管道工可不会有那种错误的想法。另一方面，在管道工的世界里，贸易保护主义必然能让我们富足。毕竟我们的时间和精力都是有限的，我们只能正确地理解极少数事物，却会错误地理解多数事物。①

当正确地理解事物变得更重要时，我们尝试使用实实在在的知识来取代单纯的信念。在接下来的章节里，我会和大家谈论知识的来源：数学的洞察力、逻辑推理和证据分析。还将谈论由量子物理学引入的（也许存在的）“知识的极限”的概念。

在这个过程中，我会提到“哥德尔不完备性定理”、大数法则、数学中最违背常理的定理、确认世界正在受到超负荷的污染的理由、接受学龄前教育的重要性、互联网色情内容的影响、海森堡测不准原理及研究游戏的概率数学家关注奇妙的量子世界的理由。

永恒的数学（1）

永恒的数学：为什么我们相信数字胜过相信自己？

上帝存在，因为数学法则是前后一致的；魔鬼也存在，因为我们不能证明数学法则的一致性。

安德烈·韦伊

如果“宗教”的含义就是一个包含无法得证的声明的思想体系，那么哥德尔已经教导过我们这点，数学不仅是宗教，而且是唯一可以证明自己算得上宗教的宗教。

约翰·巴罗

真实存在的数字与数学法则

我两次计算一列数字的和，最终得到了两个不同的答案，此时我相信我肯定是计算出错了。因为我认为计算结果应该是一致的。它不可能自相矛盾。

为什么我应该相信数学而不是自己呢？下面的论点最有说服力，而且尽人皆知：数学法则肯定是具有一致性的，因为它们在逻辑上都是真实存在的，在逻辑上真实存在的论断不会相互矛盾。

要接纳这个论点，你首先必须相信数学法则在逻辑上是真实存在的。而要相信这一点，你就必须相信数学法则是实实在在的。“所有glorph都是gumbel”，我无法判断这个论点的真假，因为我们并没有定义过“glorph”的含义。“一列数字只会有一个和”，这个论点是真的，仅仅是因为数学法则是真实存在的具体事物。

我们有很多其他办法来证明数学法则具有一致性，但最简单的办法就是，既然自然数存在，那么数学法则也是真实存在的。与之相比，其他证明办法都基于那些不太能够达到不证自明境界（而且因此更加令人怀疑）的原理。如果你跟的数学研究者一样，跟的用过计算器的人一样，你就会相信数学法则的一致性，这几乎肯定是因为你发自内心地相信自然数从某种重要意义上来说是真实存在的。

诚然，“真实”这个词用在这里有些含糊。如果你想理解得更深刻一点，让我们给它下一个定义：“自然数是真实存在的”就意味着数学法则