Non-primitive recursive functions

34 Views Asked by At

For my school project i have chosen to do analyze Ackermann function as well as other functions that are recursive but not primitively recursive. I cannot seem to find good material on this, what i find is usually a ton of theory describing what those functions should look like. Where can i find more info on this topic? I would also like to see multiple proofs that Acermann function is not primitively recursive.