Assertion: total computable function | /r/HasProperty | primitive recursive
Facets:
Source sentences:
text: All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive.