Пусть Uˆ(p, x) — главная универсальная вычислимая функция. Докажите, что множество {p | Uˆ(p, x) = p2 для любого x} неразрешимо.

задан 3 Окт 20:22

10|600 символов нужно символов осталось
0

@falcao ты нам нужен!

ссылка

отвечен 8 Окт 13:41

10|600 символов нужно символов осталось
Ваш ответ

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

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

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

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

отмечен:

×1,293

задан
3 Окт 20:22

показан
46 раз

обновлен
8 Окт 13:41

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

по почте:

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

по RSS:

Ответы

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

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