Online Computer Dictionary

Browse words  |  Based on FOLDOC

Queried for: General Recursion Theorem  About General Recursion Theorem

Definition:

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?]