First of all, I want to say that this industry could do with a much higher level of mathematical rigor, and that a lot of the systemic problems are owing to the

First of all, I want to say that this industry could do with a much higher level of mathematical rigor, and that a lot of the systemic problems are owing to the lack of it. But to me, this: > It was a good discussion, that highlighted the distinction between the currently accepted view of mathematics as primarily about properties and relations, and the pre-nineteenth century view that it was at heart procedural. ...does not follow. Programmers don't view mathematics as procedural because they studied mathematical history, but because the Von Neumann architecture, from which the semantics of almost all programming languages derive, is highly stateful and procedural. As I see it, this is the core problem that must be solved before many of the tools of mathematics which would really help us today can be meaningfully exploited.