That statement is nonsensical for the usual formal notion of "undecidable" which is about infinite sets of inputs that a machine is asked to classify as "yes" or "no" instances, also called a decision problem.
P-vs-NP is no such decision problem. It has a single instance, we just don't know its validity.
That statement is nonsensical for the usual formal notion of "undecidable" which is about infinite sets of inputs that a machine is asked to classify as "yes" or "no" instances, also called a decision problem.
P-vs-NP is no such decision problem. It has a single instance, we just don't know its validity.