第14章：形式系统——给推理一个地基

文档摘要

第14章：形式系统——给推理一个地基在你能证明一件事之前，你得先说清楚"证明"是什么意思。上卷的十三章是一次旅行。我们从熵增出发，穿过符号系统的废墟，绕过向量空间的陷阱，在复杂度理论的边界上停了很久。整个过程，我们一直在谈"推理"——但从未真正定义它。这是故意的。直觉需要先行，定义跟在后面。但现在是时候付账了。下卷要做的事情只有一件：把推理这件事说清楚。不是用比喻，不是用历史，而是用精确的语言，把推理的结构挖出来，放在灯光下看清楚。这需要一个起点。这个起点叫做形式系统。 14.0 公理印章游戏：什么叫“合法推出”？先不要急着谈“真”。我们先玩一个更冷酷的游戏：公理印章游戏。桌面上有三样东西：一叠空白纸、一盒印章、一张规则表。