Meta-Mathematics of Computational Complexity Theory
Computational Complexity
2025-04-08 v1 Logic in Computer Science
Logic
Abstract
We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity bounds within theories of bounded arithmetic. This includes the techniques employed and related open problems, such as the (non)existence of a feasible proof that P = NP.
Cite
@article{arxiv.2504.04416,
title = {Meta-Mathematics of Computational Complexity Theory},
author = {Igor C. Oliveira},
journal= {arXiv preprint arXiv:2504.04416},
year = {2025}
}
Comments
SIGACT News Complexity Theory Column 124