The point is that by writing a program in a programming language, you're doing math whether you know it or not, because all existing programming languages have

The point is that by writing a program in a programming language, you're doing math whether you know it or not, because all existing programming languages have a direct, isomorphic mapping to mathematical expressions. It goes well beyond "basic arithmetic and simple Boolean logic". One of the comment semantic descriptions of imperative programming languages involves a stack of monads representing the various effects that programming language support. While most programmers may not be aware of this, they're still writing working expressions in a formal language which is equivalent to this.