応用数学と純粋数学の違いではなく、
数学を作る人と数学のユーザーの違いだな。
応用数学を作る人を目指すなら証明は必須だ。
ユーザーに徹するなら証明は不要かもしれん、よう知らんけど。