Название: Степени неразрешимости
Автор: Шенфилд Дж.
Издательство: М.: Наука
Год: 1977
Формат: PDF
Страниц: 192
Размер: 21.8 MB
Язык: Русский

Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.