Пусть Uˆ(p, x) — главная универсальная вычислимая функция. Докажите, что найдётся такое n, что Uˆ(n, x) = nx для всех x. задан 3 Окт '19 20:19 CS181 |
Пусть Uˆ(p, x) — главная универсальная вычислимая функция. Докажите, что найдётся такое n, что Uˆ(n, x) = nx для всех x. задан 3 Окт '19 20:19 CS181 |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
3 Окт '19 20:19
показан
711 раз
обновлен
4 Окт '19 0:18
См. Теорему 26 в книге Верещагина и Шеня. Это следствие теоремы о неподвижной точке. Его надо применить к вычислимой функции V(n,x)=nx.