论 P=NP 为假或独立于 ZFC
逻辑
2024-04-02 v1 组合数学
摘要
我们的主要结果，定理 3.3，使用了 Friedman 的跳跃自由定理（定理 2.7），他已证明该定理独立于 ZFC（即通常的集合论公理）。我们推测定理 3.3（即将定理 2.7 的陈述直接转化为集合与函数）及其直接推论 3.4 也独立于 ZFC。很容易证明，证明 P=NP 也将证明推论 3.4。如果推论 3.4 实际上独立于 ZFC，那么在 ZFC 中证明 P=NP 是不可能的，也许是因为它为假。
引用
@article{arxiv.2404.00468,
title = {On P=NP Either False or Independent of ZFC},
author = {S Gill Williamson},
journal= {arXiv preprint arXiv:2404.00468},
year = {2024}
}
备注
4 pages