Всякая вычислительная процедура, к-рая может быть сведена к работе подходящей машины Тьюринга, является эффективной в ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 1
Всякая вычислительная процедура, к-рая может быть сведена к работе подходящей машины Тьюринга, является эффективной в интуитивном смысле. Этот тезис нельзя доказать, так как он объединяет два понятия - строгое математич.