recursion theorem

views updated

recursion theorem A theorem of S. C. Kleene: a recursive operator, mapping functions to functions, has a least fixed point that is a partial recursive function.