-1

Пусть Uˆ(p, x) — главная универсальная вычислимая функция. Обозначим через K ⊂ N^2 множество таких пар (k, n), что функция U(ˆ)_k(x) = U(ˆ)(k, x) является продолжением функции U(ˆ)n(x) = U(ˆ)(n, x) (т.е. U(ˆ)(k, x) = U(ˆ)(n, x) если U(ˆ)(n, x) определена). Докажите, что множество K неразрешимо.

задан 27 Фев '18 11:07

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×596
×562
×34

задан
27 Фев '18 11:07

показан
383 раза

обновлен
27 Фев '18 11:07

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru