The study of computation is essential to understanding the limits of what can be computed.