可迁移模型 · TRANSFERABLE MODEL
测试一个假设的真正方法是尝试删掉它
判断一条规则是否必要的最可靠方法,不是论证它「有多重要」,而是实际尝试删掉它,观察系统是否崩溃。这个方法简单得近乎粗暴,但它能识别出所有「名义上重要实际上冗余」的规则——而大多数系统都充斥着这种规则。
来自这本书的解读报告
《几何学基础》
这本书回答了欧几里得几何学逻辑基础如何重建的问题,它的答案是用五组公理将几何学构建为纯粹形式化的公理系统
阅读完整解读报告 →