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