Super-Recursive Algorithms