Comment by vonmoltke
6 years ago
> engineering is applied math
It's applied math and applied science. The science informs how to apply the math, since the math is a model of natural phenomena. In fact, most of the math came to engineering via the science.
I would argue that CS and type theory explores the very foundations of math.