Название: Степени неразрешимости
Автор: Шенфилд Дж.
Издательство: М.: Наука
Год: 1977
Формат: PDF
Страниц: 192
Размер: 21.8 MB
Язык: Русский
Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета».