Computerphile

The Most Difficult Program to Compute? (2014x39)

:

The story of recursion continues as Professor Brailsford explains one of the most difficult programs to compute: Ackermann's function.