Primitive recursive function: Difference between revisions

Revision as of 20:50, 25 January 2004

Revision as of 23:33, 5 February 2004

Line 4:

=== Definition ===

Primitive recursive functions take [[natural numbers]] or tuples[[tuple]]s 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.