Докажите, что существует вычислимая функция $%R$% такая что

$$R(f(x_1,\dots,x_n))=f(x_n,\dots,x_1)$$

$%f$% - функция отсюда:

Есть функция из множества последовательностей в натуральные числа $$f:S\to N$$ $$\epsilon\mapsto p_2(0,0)\\n\mapsto p_2(0,n+1)\\ (n_1,\dots, n_k)\mapsto p_2(k-1,p_k(n_1,\dots,n_k))$$


Можно пользоваться существованием (вычислимой) функции $%s:N\to N$% $$s(f(x_1,\dots,x_n))=x_1+\dots+ x_n$$

Насколько я понимаю, $%s(f(x_1,\dots,x_n))=x_1+\dots+x_n=x_n+\dots+x_1=s(f(x_n,\dots, x_1))$% и теперь надо как-то "вытащить " $%f(x_n,\dots, x_1)$%

задан 11 Ноя '19 5:52

изменен 15 Ноя '19 21:26

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

Ваш ответ

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

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

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

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

отмечен:

×824

задан
11 Ноя '19 5:52

показан
42 раза

обновлен
15 Ноя '19 21:26

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

по почте:

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

по RSS:

Ответы

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

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