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. It also shows that some very complicated functions are primitive recursive.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.