Primitive recursive function: Difference between revisions

Revision as of 02:07, 1 October 2003

Revision as of 02:07, 1 October 2003

Line 4:

=== Definition ===

Primitive recursive functions take [[natural numbers]] or tuples of natural numbers as arguments and produce a natural number. A function which takes ''n'' arguments is called ''n''-[[arity|ary]]. The basic primitive recursive functions are given by these [[axiom|axioms]]:

#The [[constant term|constant function]] 0 is primitive recursive.