Утверждение о том, что всякая вычислимая функция вычислима на машине Тьюринга, называют

  • аксиомой Поста
  • гипотезой Паскаля
  • тезисом Тьюринга
  • теоремой Чёрча
Для просмотра статистики ответов нужно войти.