You are here: irt.org | FOLDOC | 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).
[Better explanation?]
(1995-06-15)
Nearby terms: General Purpose Interface Bus « General Purpose Language « General Purpose Macro-generator « General Recursion Theorem » generate » generation » Generic Array Logic
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL