Text this: Проблемы разрешимости и конструктивные модели