Category:Primitive Recursive Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Primitive Recursive Functions.
Definitions specific to this category can be found in Definitions/Primitive Recursive Functions.

A function is primitive recursive if it can be obtained from basic primitive recursive functions using the operations of substitution and primitive recursion a finite number of times.

Pages in category "Primitive Recursive Functions"

The following 53 pages are in this category, out of 53 total.