It seems to me programming is getting more mathematical, not less, and that if one is going to be a good programmer in the future, they'll have to be more mathe

It seems to me programming is getting more mathematical, not less, and that if one is going to be a good programmer in the future, they'll have to be more mathematical than at present. Part of that is because of the rise of parallelism, concurrency, and functional programming. Functional languages are inherently more mathematical than imperative languages. Part of it is because of the rise of big data and machine learning, which is inherently mathematical by way of statistics. Part of it is because of the direction of future programming languages with richer type systems - dependent types, etc - which gets us closer to thinking more in terms of logic than computability, and math theory in general. The Curry-Howard Isomorphism proves that computability (programming) is math is logic - the relationship between programming and math has felt distant so far but that is mostly because of the lack of sophistication in our programming languages. That is changing.