下卷导读：在地基上建造之前

文档摘要

下卷导读：在地基上建造之前三件事让直觉变得危险：它太快，太自信，太难被质疑。你不需要读这一章。如果你已经接触过形式证明，读过一点数理逻辑，知道命题和谓词的区别，可以直接从第14章开始。但如果你从未认真想过"证明"究竟是什么——不是数学课上那种"根据题意可得……"式的论证，而是每一步都有明确来源、可以被机械检查的符号序列——那么先花二十分钟在这里，会让接下来的每一章都更清楚。为什么自然语言推理是不可靠的先看三个例子，它们会让你不舒服。这是故意的。例子一：理发师悖论一个村庄里有一位理发师，他给所有不自己刮胡子的村民刮胡子，且只给这样的村民刮胡子。问：理发师自己刮不刮胡子？如果他给自己刮：根据规则，他只给不自己刮的人刮，所以他不应该给自己刮。矛盾。