General Recursion Theorem

General Recursion Theorem

(mathematics)Cantor's theorem, originally stated forordinals, which extends inductive proof to recursiveconstruction. The proof is by pasting together "attempts"(partial solutions).