с выражением мнения, что коренные трудности программирования будут решены с помощью "математико-философского анализа"программистских категорий.
