I am taking the course computability and at the end of the semester I will have a presentation about this topic. What could we say about the Ackermann function at a presentation?? Could we prove that the Ackermann function is recursive but not primitive recursive?? What else?? @Axoren