If you want to understand function, study structure.
The study of computation is not just about machines, but about the very nature of thought and logic.