The study of computation is not just about machines, but about the very nature of thought and logic.