Introduction to Ackermann's function, deduction of its behaviour, and recursive implementation of tetration. Hyper operations