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

Книга будет полезна для специалистов занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ. Это и многое другое вы найдете в книге Вычислимое и невычислимое (Ю. И. Манин)