delivering capability,
in the future, mathematicians will not deliver theorems to a tiny auidience of other mathematicians, they will deliver capability at the work/play station.

theories to models the application of mathematics is through the building of mathematical models, mathematics developed in the right context will translate directly into new modelling capability


the mathematical environment,
to a first cut a hybrid of mathematica and a good proof tool, will have formal precision and extensive mathematical libraries, which provide the machine with the capability not only to undertake mathematical computations to arbitrary known accuracy, but symbolic manipulations and abstract reasoning with superhuman speed and reliability.


making the tools:
the major part of the creativity in creating the mathematical environment which will deliver future mathematics to its users is mathematical, those aspects which we would today think of as software engineering will be thought of in the future as just some of the mathematicians tools of the trade, not a different trade.

