Математическое обоснование S.O.L.I.D принципов

В последние несколько лет о S.O.L.I.D не говорил только ленивый. Кому-то они нравятся, кто-то их критикует. Однако, аргументы, которые приводятся в пользу и против этих принципов очень субъективны и лежат больше в области эмоций, чем фактов.

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

Предупреждение: в докладе использована математическая логика.