Home > Electronics Tutorials > Online Computer Terms Dictionary > G

Online Computer Terms Dictionary - G

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
 

Discover

     more......