Here is some of why the OP is correct:<p>From 50,000 feet up, we take in data,
maybe already have some other data,
manipulate all that data, and get results
we want to be powerful, valuable, etc.<p>This little process is more important
now because computers let us do much
more in the data <i>manipulations</i>.<p>That said, there is a remaining question:
What manipulations should we have the
computers do?<p>Shockingly often in the past,
we understood the manipulations well
enough to program them because
we were largely just programming
what we had done or in principle
knew how to do just manually.<p>But, as we have programmed more of
what we knew how to do manually,
we will want more powerful, valuable
manipulations.<p>Well, often the best approach to
more powerful, valuable manipulations
will be via mathematics. There,
we can look at reality, see some
situations or properties that
appear to hold, let those be
<i>assumptions</i> for some mathematics,
that is, <i>hypotheses</i> for
some theorems,
proceed with theorems and proofs,
get some mathematical
results, and use those to
say what manipulations to do.<p>E.g.: (1) Statistical hypothesis
tests. (2) Systems of ordinary
differential equations as
growth models. E.g., what would
happen if we released 1000 healthy
US bobcats into the outback of
Australia? (3) For real time
local delivery, which vehicle
takes the next order that
comes in so that we can
meet promises to customers
and minimize expected delivery
cost? (4) Pick a part of the ocean,
drill a lot of oil wells; now,
what should the sea floor oil pipeline
network look like to carry the oil
to where we want it meeting safety
standards and minimizing cost, e.g.,
expected net present value over the
life of the oil wells? There are many
more such.<p>For such problems, data manipulations
from theorems and proofs, sometimes
new, can knock the socks off
any other approach, e.g., intuitive
heuristics.<p>That's some of the future of
math, especially in what gets programmed.