The theory of computation provides a foundation for understanding what can and cannot be computed.