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

Вот мой пафос в том, что "формализм" недостаточен, нужно еще к нему добавить "выразительность" и "мыслительное удобство" и какое-то соответствие жизненным проблемам/объектам/феноменам и много чего еще, чтобы получился хороший инструмент. Это и есть отличие computer science как мета-науки от логики-математики как мета-науки (части гносеологии), которая озабочена лишь "формализационной" частью. Нужно не только вкус людям к формализации прививать, но и формалистам вкус к людям!