*[Corrected, thanks - T.]*

Great write up.

]]>I also feel there is not enough discussion about methodology. See the article: http://pages.bangor.ac.uk/~mas010/methmat.html . “The methodology of mathematics” . which has been published variously.

]]>I think it’s quite the opposite: most “hardcore” mathematicians that put a lot of emphasis on formalism and rigor, have a hard time relating to real world concepts and show extremely poor skills at properly using math in a different fields like programming when it comes to real world software production. Actually most mathematicians make very poor programmers and engineers. Also, typical math proofs are not required in real world applications(sometimes proofs can actually be misleading), it’s real world testing that does the validation.

]]>