Email this page to a friend

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

< Previous Terms	Terms Containing General Recursion Theorem	Next Terms >
General Public Virus General Purpose Graphic Language General Purpose Interface Bus General Purpose Language General Purpose Macro-generator		generate generation Generic Array Logic Generic Expert System Tool generic identifier