Is $P=NP$ an $NP$-complete problem?
In other words, is it possible (and does it make any sense) to show that proving $P=NP$ (or $P\neq NP$) cannot be done in polynomial time?
I am not even sure it belongs to $NP$.
Is $P=NP$ an $NP$-complete problem?
In other words, is it possible (and does it make any sense) to show that proving $P=NP$ (or $P\neq NP$) cannot be done in polynomial time?
I am not even sure it belongs to $NP$.
Copyright © 2021 JogjaFile Inc.
I do not think that this question is meaningful. A proposed theorem is either true, false, undecidable, or has its truth not yet known (at least I think this is true).
I mean, replace "P = NP" with "the $\sqrt{2}$ is irrational", or the Riemann hypothesis, or the prime gap theorem or "all my answers on math.stackexchange.com are correct" (this last one is clearly false).