可迁移模型 · TRANSFERABLE MODEL
悖论是升级的信号,不是失败的标志
罗素悖论曾经被视为数学的灾难——整个集合论基础似乎被摧毁了。但戴维斯展示了悖论如何成为升级的催化剂:它迫使命题者发现了公理系统中的隐含假设,排除了这些假设后,系统变得更强大。这提供了一个通用框架来理解「矛盾」:当你的两个信念冲突时,不是要放弃其中一个,而是要找到一个更高的框架同时容纳两者。
来自这本书的解读报告
《逻辑的引擎》
现代计算机如何从纯粹数学逻辑中诞生,以及抽象推理为何能变成物理机器。
阅读完整解读报告 →