General Recursion Theorem

General Recursion Theorem

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

Full browser ?