А в итоге окажется как в том анекдоте: — Вам пригодились знания матана в жизни?
— Да, профессор, у меня намедни ветром шляпу в лужу сдуло, так я нашел кусок проволоки, согнул его в форме интеграла и шляпу вынул.
Я вот, хоть и работаю практически по специальности, но все эти доказательства теорем вообще мне не нужны. Как и целые разделы математики (скажем, тензорный анализ уже 20 лет не использую, хотя, в ближайшем будущем может понадобиться — чтобы подобрать систему ортонормированных на полусфере с дыркой полиномов). Да и интегралы уже забыл, как брать (недавно вспоминал, сидя на горшке, как берут по частям - едва вспомнил; а более сложные случаи так и вовсе забыл) - либо мне не нужно интегрировать сложные вещи, либо это делает компьютер, численно.