Comment by cs702

I never said that mathematics "is about computation."

What I did say is that writing down mathematics is equivalent to writing software.

Both require the use of a formal system.