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

задан 7 Окт '20 11:46

Желательно восстановить все детали старого и нового определения, а то в таком виде непонятно.

(7 Окт '20 12:43) falcao

@falcao Вычислимая функция U:N^{2}->N называется главной универсально вычислимой, если для любой вычислимой функции V:N^{2}->N найдется вычислимая тотально функция s:N->N, что для любого n V_{n} = U_{s(n)}.

В новом определении говорим, что V - универсальная вычислимая функция

(7 Окт '20 12:57) man123

@man123: если V -- отображение из N^2 в N, то непонятно, что такое V_n.

(7 Окт '20 13:38) falcao

@falcao для любого n, x U(s(n), x) = V(n, x)

(7 Окт '20 14:44) man123
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×700
×53

задан
7 Окт '20 11:46

показан
267 раз

обновлен
7 Окт '20 14:44

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

по почте:

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

по RSS:

Ответы

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

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