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

Я вот думал об этом сегодня. Дело тут не в математике, а в привитии вкуса к формализации в стиле computer science (т.е. формализации необязательно математической! Сегодняшняя computer science с ее мультипарадигмальными языковыми изысканиями -- это продолжение той же математики, но с учетом важности нотации и понятия "языка"). Я думаю, что сегодняшнюю ситуацию уже не переломить: нужно делать исследовательскую программу, в которой специально выращивать синтетический (и сначала междисциплинарный) предмет для исследований связки конгломерата из моделирования/дизайна<-->исчислений/языка<-->нотаций/явных_представлений<-->психопрактик_для_овладения_операциями_в_уме. Грубо говоря, сажать рядышком физика, математика, системного инженера, нэлпера (neurolinguistic programmer) и задать им работку на десяток лет: поглядеть на то, что уже происходит, отмоделировать это и попробовать поучить детишек. Очень интересный проект бы мог получиться. Но такие люди вместе редко собираются.