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