Computational significance isn't undermined by proof method—the entailment that algorithms exist is ...
This proposition has not been edited since the history system was added.