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