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

>>Чтобы показать мощь ТК, на мой взгляд нужно решать не математические задачки из разных областей математики, а решать инженерные задачки Вот вот, я об этом же! Только для этого нужно сначала построить инженерные категории, а для этого нужен софт. >>И даже в этом случае есть проблема не столько проблем уходить от этих задач к общематематической проблематике Я очень хочу чтобы был понятен тезис - ТК это ни разу не уход к общематематической проблематике. Это уход к любой над-дисциплинарной проблематике! Хотите рассуждать не замечая это модальная логика или теория вероятностей - пожалуйста! Доктрина и внутренняя конструкция дадут вам инструмент. Только сначала нужно дать возможность нарешать те самые задачки.