“Mathematics is about how you think about what's true, following from various axioms. Computing is how you think about how to do things.”