General Recursion Theorem

(mathematics)

General Recursion Theorem - Cantor's theorem, originally stated for ordinals, which extends inductive proof to recursive construction. The proof is by pasting together "attempts" (partial solutions).