こういう議論では、
数学研究と、数学教育を分離して考えないとだめ。

大学での数学科を守る為には、数学教育を充実させる必要がある。
少なくとも、工学部の方が難しい数学をやっているという現状を認識する必要はある。

工学部では証明無し＆計算をやるというのが数学。
そういう教育も数学科では必要だろう。