No primitive recursive function requires oracles, infinite lookahead, or non-mechanical steps—all me...
This proposition has not been edited since the history system was added.