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