VDict - Definition of General Recursion Theorem

Computing (FOLDOC) dictionary

General Recursion Theorem

Jump to user comments

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)

Related search result for "General Recursion Theorem"

Words contain "General Recursion Theorem" in its definition in Computing (FOLDOC) dictionary:
General Recursion Theorem Green's Theorem tail recursion optimisation tail recursion recursion four colour map theorem DeMorgan's theorem mutual recursion two-valued logic conversion to iteration more...

Comments and discussion on the word "General Recursion Theorem"