Abstract

Thes n m function defined in the iteration theorem is shown to be quite subelementary through the use of stateless Turing machines. This means that recursion theorems can be used subrecursively with no change in computational complexity.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call