Возможность математического доказательства неразрешимости ряда математических проблем дает

  • циклический алгоритм;
  • линейно независимые базисы.
  • частные алгоритмические системы;
  • формальные алгоритмические системы;

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.