3 ms·
I wonder if the algorithm to search such a space of axioms and transforms for a solution would itself be P or NP. :)
by brianberns 9y ago
I wonder if the algorithm to search such a space of axioms and transforms for a solution would itself be P or NP. :)
- yorwba 9y agoAlmost certainly so super-exponential that NP appears easy in comparison.