Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

General Recursion Theorem

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


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

©2018 Martin Webb