Definition:Recursive/Function

From ProofWiki
Jump to navigation Jump to search

Definition

A function is recursive if and only if it can be obtained from basic primitive recursive functions using the operations of:

substitution
primitive recursion, and
minimization on a function

a finite number of times.