P与NP为何不可证

Not a ToE · Oct 28, 2026 · 14m

“P = NP，在于二者的差异不可证，而非在于二者同一，因为同一同样不可证。”本期围绕这句回应，讨论它所标出的精确界限。

这是一项关于形式所及范围的主张：在 ZFC 或任何强到足以将寻常算术与图灵机形式化的公理系统中，两个复杂度类的相等与不等都无法被推导出来。它既不断言二者相同，也不断言二者不同，更不断言问题毫无意义。

本期内容：

数学相等由规则设定（外延公理、替换），而非本体同一。

每一项证明都是语境性的：P = NP 是一个 Σ₂ 算术语句，在每个模型中非真即假，但形式装置并不保证存在唯一的标准模型。

设定标准模型可以恢复“是或否”的答案，但这一设定属于数学之外；拒绝它同样可行。

严格而言所能言说的止于独立性结果，任何进一步的断言都是公理本身不再许可的偏离。

阅读原文：https://powerpig99.github.io/not-a-toe/posts/on-the-boundaries-of-what-can-be-said-about-p-and-np/