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

Last updated: 1995-06-15

Nearby terms:

General Purpose Macro-generator ♦ General Recursion Theorem ♦ generate

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading