Засобами алгебри алгоритміки встановлено зв'язок між відомими теоремами Геделя і Поста. Дано аналіз підходу, що активно розвивається на Заході, до описання актуальних предметних областей відносно триади: абстракція, біологія і екологія програмування.
