Natural proofs rely on constructivity: they need efficient algorithms to recognize hard functions, w...
This proposition has not been edited since the history system was added.