General Recursion Theorem

Technology Dictionary -> General Recursion Theorem

Search:

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).

[Better explanation?]

(1995-06-15)