математики кстати в целом весьма скептически относятся к формализации

типа считается что больших проблем так не решить, можно только переизобретать более красиво велосипеды

Вы существенно идеализируете математиков. Их когнитивные возможности тоже не бесконечны. И не всякую взаимосвязь они принимают без отрицания.  Существуют даже непримиримые научные школы. Матлогика и программирование связаны, конечно. Но как в матлогике можно работать без навыков программирования, так и хорошо программировать можно без глубоких знаний матлогики. Мозг не бесконечен, ресурсы не бесконечны. Если человеку для работы нужно погружение в какие-нибудь методы математической оптимизации, вряд ли, он найдёт в себе силы разобраться в матлогике на современном уровне. Из-за этого происходит и фрагментация терминологии: проще переизобрести с другими взаимосвязями в своей предметной области, чем узнать из другой. В науке и математике такое постоянно происходило и происходит. Когда наступит очередной кризис, понятия пересоберут и синтезируют. Вполне рабочий процесс.

Тут важнее не возможности, а настрой. Математики настроены искать взаимосвязи, а не отрицать их.