computability theory

Computability theory is the study of what is possible to automate through algorithms and computation. It explores the limits of what can be computed by machines and the theoretical foundations of computer science.

Requires login.