News for hackers. Stuff that matters.
Re:Announcing three new discoveries in mathematics, computer... by teiferer on Tuesday October 27, 2026 @08:34AM (#50258175)
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.

Re:Announcing three new discoveries in mathematics, computer... by IAmBroom on Tuesday October 27, 2026 @09:26AM (#50258918)
It was not a formal statement.