week3.mdwn

   1 Even with a fold-based representation of numbers, and pred/equal/subtraction, some recursive functions are going to be out of our reach.
   2
   3 Need a general method, where f(n) doesn't just depend on f(n-1) or (f(n-1),f(n-2),..). Fibonacci can be done without Y.
   4 Ackermann function would need Y, but surely we can find some simpler demonstration?
   5
   6 How to do with recursion with omega.
   7
   8 fixed point combinators
   9