News for hackers. Stuff that matters.
Re:A Solution of the P versus NP Problem? by brianberns on Monday August 14, 2017 @05:37PM (#15013190)
I wonder if the algorithm to search such a space of axioms and transforms for a solution would itself be P or NP. :)
Re:A Solution of the P versus NP Problem? by yorwba on Tuesday August 15, 2017 @04:10AM (#15016364)
Almost certainly so super-exponential that NP appears easy in comparison.