Let me ask, earnestly, why is learning to code better or more important than: - Studying medicine at school so you can avoid engaging with the expensive medical system for all but the most critical issues? - Studying law so that you understand how to read contracts and understand legislation? Mathematics and language are the building blocks of programming. We study those. Going further upstream into the outputs of th…
Mathematicians are generally doing ad-hoc applied computer programming in order to carry on mathematics at this point. Give the academy another 50-100 years to figure out what this means, if anything, about the fundamentals of each discipline.
I think we'll conclude that advances in the rest of mathematics are all built on computable mathematics now, including proof, making computation foundational until/unless someone finds a more powerful approach.
PS: There are no doubt mathematicians reading this, and the ad-hoc part may make you bristle. If you can point me to a paper that begins with a proof of correctness, of both the hardware and operating system which ran whatever code was involved, I'll take it back.