Bounded minimization is implementable on actual machines, so the theorem grounds abstract recursion ...
This proposition has not been edited since the history system was added.