Assertion: recursive function | /r/HasProperty | total
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.