There are programs though that aren't expressible as math, namely multithreaded programs that have non-deterministc behavior such as programs where two threads

There are programs though that aren't expressible as math, namely multithreaded programs that have non-deterministc behavior such as programs where two threads increment the same counter in a non-thread safe way.