Publisher's Synopsis
This unit introduces the idea of a primitive recursive function, which gives a different way of approaching computabilty from the idea of a function computable using an unlimited register machine, introduced in unit ML01. We show that some very complicated functions are primitive recursive.