Без заголовка

Привнести в математику инженерный статус весьма актуально, для инженерии, по крайней мере :). Последние десятилетия производительность труда растет громадными темпами в следствие внедрения информационных технологий. А производительность труда в самих ИТ растет вследствие использования математики - т.е. формализации. Сами ИТ - это во многом своеобразный раздел математики и заведомо опираются на кучу различных математических наработок. Даже сложно хотя бы грубо перечислить те разделы математики, которые задействованы в ИТ. И много новых было создано в процессе. Навести в этом порядок, т.е. инженерию - задача конечно заманчивая. Но стихийно она и так происходит. Как Вы недавно писали, Боинг - это на 50% уже софтовая компания, причем вследствие того, что они активно используют верификационные методики - а это уже суровая математика. Производство микросхем - то же самое, значительную долю затрат занимает верификация. Кстати, вся эта верификация проистекает из работ по логике, которая восходит к работам по формализации математики - теория множеств, аксиоматизация, всякие Цермело-Френкели, Гёдели и т.д. и т.п. Насколько я помню, их тоже ругали за оторванность от реалий, типа на хера нужна эта формализация. А на самом деле, верификация софта как раз и требует такой строгой формализации, и закладывает основу под инженерию математики. Т.е. на этой фундаментальной теории, можно делать уже развитый инструментарий.