Функция F называется правильно вычислимой по Тьюрингу, если
- не существует алгоритма для ее правильного вычисления
- невозможно построить такую машину Тьюринга, которая ее правильно вычисляет
- существует машина Поста, которая ее правильно вычисляет
- существует машина Тьюринга, которая ее правильно вычисляет
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.