We are following something like a traditional philosophy of "constructivism", by which we mean a few basic things
Mathematical objects and abstract ideas must be constructible in some coherent actual concrete way
There may be important value in "pure mathematics", but w are trying to develop engineering and solution-oriented "applied mathematics"
|