mayton,

maytonКакая математика? Я уже где-то писал что к примеру ООП не доказывается математикой.
Понимать как устоен мир могут единицы. Это гении. У всех остальных - Фаулер головного мозга.
S.O.L.I.D - это просто красивая аббревиатура. Если отойти чуть дальше от вселенной ООП (так чтоб
тень от него не падала на вас) и приблизиться к FP к примеру.. то будет видно как начинают корчиться
и плавиться все пять букв S.O.L... e.t.c и ты вдруг (!) понимаешь что это всё шелуха. Все эти private,
protected. Всё это не важно. Это не приближат твой гений к решению. И ты 20 лет занимался софистикой
и схоластикой и твёрдой руков рисовал "Портреты вельмож", когда вдруг (!) мальчишка-гений взял кисть
и изобразил шедевр а ты - сломал мольберт но не смог даже повторить подобное ибо мозг умер и вместо
него один сплошной Фаулер.... и портреты вельмож в сусальных золотых рамах...

А впрочем не бери в голову. Это так. Моя лирика.

ООП не нужно "доказывать математикой", это система моделирования. И, как любая система, ООП имеет свои правила, которые, в свою очередь, уже можно и нужно с помощью математики ковырять.
S.O.L.I.D. здесь как раз является набором правил, и нарушение каждого из них с ростом программы неизбежно ведёт к расплате в будущем. S.O.L.I.D. доказывается математически и прекрасно работает в функциональных языках.
Другое дело, что пользоваться этими принципами современному программисту не под силу, потому и кодит как попало.

mayton,

В начале девяностых "бум" начался, пускай и будет 1990 год, если угодно.