Not the case. The same argument does not apply because of the nature of mathematical, and to a certain extent scientific. All three--mathematics, science, and computing (programming)--are similar in that their primary currency is knowledge that can be concisely described and embodied in instruments (tools), either of which can then be used by others without too much of a concern for where that knowledge or instrument came from as long as there&#x27;s a good instruction manual nearby. The knowledge and instruments are used to create more knowledge, which is embodied in more instruments, and the cycle continues on and on etc.<p>The difference between computing and mathematics is the form that the knowledge and the instruments take. In mathematics, the concepts you&#x27;re dealing with (or inventing, since I&#x27;m not a mathematical realist) are very clean and they stack well. You also have virtually no instruments to speak of. As a mathematician, it&#x27;s not too common that you reduce your theories to practice. That&#x27;s something that&#x27;s left to the lesser sciences, such as computing.<p>In computing, the relationship between between knowledge and instruments is that of identity. At the very least, the two are conflated in casual discussion. More concretely, the &quot;knowledge&quot; of computing is typically a model of some problem domain and the the instruments are software, which in turn manipulate the physical world (that&#x27;s what your JavaScript is doing) in order to perform some task or measurement in service of solving some problem in your domain.<p>So in mathematics, you have no correspondence between knowledge and instruments to do deal with. In computing, that&#x27;s all you&#x27;re dealing with except people are only really interested in the knowledge as its embodiment in the instruments. Static typing ensures that some sliver of that knowledge is explicit and checked. It doesn&#x27;t mean it corresponds to the thing in your brain, but it does ensure that whatever&#x27;s written down is embodied in your code. Mathematicians have no such constraints to deal with. They would if the proofs that they wrote were formal proofs, but they&#x27;re not. Most, if not all, mathematicians know this. Most programmers, though, don&#x27;t.