Computability theory a.k.a. recursion theory.

Computability theory (also known as recursion theory) is a branch of mathematical logic and computer science. It is mainly concerned with computability.

When some resource is restricted (such as time or space), then the cc.complexity-theory tag is more appropriate.

history | excerpt history