2 ms·
Correct, the author did not describe a program that computes whether P = NP. He merely proved that such a program exists, by describing two programs, and showin
by School-Cotton 2y ago
Correct, the author did not describe a program that computes whether P = NP. He merely proved that such a program exists, by describing two programs, and showing that one of them must be the one that computes whether P = NP (we just don't know which one, but we at least know that it exists).