<*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

Try this search on Wikipedia, OneLook, Google

**Nearby terms:**
General Purpose Interface Bus « General Purpose Language « General Purpose Macro-generator « **General Recursion Theorem** » generate » generation » Generic Array Logic

Loading

Copyright Denis Howe 1985