Пусть Uˆ(p, x) — главная универсальная вычислимая функция. Докажите, что найдётся такое n, что Uˆ(n, x) = nx для всех x.

задан 3 Окт '19 20:19

См. Теорему 26 в книге Верещагина и Шеня. Это следствие теоремы о неподвижной точке. Его надо применить к вычислимой функции V(n,x)=nx.

(4 Окт '19 0:18) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,504

задан
3 Окт '19 20:19

показан
333 раза

обновлен
4 Окт '19 0:18

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

по почте:

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

по RSS:

Ответы

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

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