aklquark

This subthread assumes that the blog is popularizing math concepts. If so, why can he not be bothered to write:

Let P be a set of programs that print all possible answers to the proposition P==NP . In this case, the possible answers are {"true", "false", "undecidable in ZFC"}. Then there trivially exists a program that can print the true answer to the proposition.

Everyone understands this. The amount of support he is getting here for the poor presentation is astonishing.