You may well be talking about different kinds of math here. Most of what functional programmers / theorists tend to care about are from sub-fields like logic,

You may well be talking about different kinds of math here. Most of what functional programmers / theorists tend to care about are from sub-fields like logic, abstract algebra and the like. The "real mathematicians" that you mention are most likely working in other fields like linear algebra, statistics etc. While it is certainly possible that logicians and algebraists work with sloppy python (in as much as they write any code at all), but I don't feel that it had be a great fit.