computation Definition Ackermann Function The Ackermann function is defined as: Computability is computable and total, but not primitive-recursive.