Content deleted Content added
added definition of primitive-recursiveness of vector-valued functions; removed template errors in references and sorted them alphabetically |
→Variants: Citation needed added for claim, it's unclear how the 0-ary function would be composed with the projection function to create a n-ary function since the 0-ary function has no inputs. |
||
Line 281:
===Constant functions===
Instead of <math>C_n^k</math>,
alternative definitions use just one 0-ary ''zero function'' <math>C_0^0</math> as a primitive function that always returns zero, and built the constant functions from the zero function, the successor function and the composition operator.{{Citation needed|date=July 2025}}
=== Iterative functions ===
| |||