>I never said that mathematics "is about computation."
But programming is about computation. If mathematics isn't about computation as well, then they are not alike.
>What I did say is that writing down mathematics is equivalent to writing software.
It is not. That is plainly false. E.g. mathematics considers objects which are not computable and makes non-computable calculations with those objects. I am aware that you can encode certain formal mathematics into certain software, but that is like saying cooking is like programming because you can encode recipes as a program.
But programming is about computation. If mathematics isn't about computation as well, then they are not alike.
>What I did say is that writing down mathematics is equivalent to writing software.
It is not. That is plainly false. E.g. mathematics considers objects which are not computable and makes non-computable calculations with those objects. I am aware that you can encode certain formal mathematics into certain software, but that is like saying cooking is like programming because you can encode recipes as a program.
>Both require the use of a formal system.
So what?