Comment by epgui

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

> It is not. That is plainly false.

Whether the two look the same or not, maths and computer programs are in fact fundamentally isomorphic. [1]

[1] https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...