177
правок
Изменения
Нет описания правки
Заметим, что если <tex>L \equiv_T M</tex>, то <tex>H^L \equiv_T H^M</tex>, поэтому определение корректно. Оператор тьюрингова скачка обозначим как <tex>J : \mathcal{D}_T \to \mathcal{D}_T</tex>.
== См. также ==
* [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ| Задача о выводе в полусистеме Туэ]]
* [[Примеры неразрешимых задач: проблема соответствий Поста | Проблема соответствий Поста]]
* [[Примеры неразрешимых задач: задача о замощении | Задача о замощении]]
* [[Неразрешимость исчисления предикатов первого порядка]]
== Источники информации ==
