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
|