The theorem describes *what* functions are computable but doesn't explain *why* bounded minimization...
This proposition has not been edited since the history system was added.