Assertion: total computable function | /r/HasProperty | termed recursive
Facets:
value: in some references
type: TEMPORAL
value: simply
type: OTHER
Source sentences:
text: Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.