Задача по математической логике

[Abcvdsa]

Как решить данное упражнение из Мендельсона (глава 5 § 3). С чего начать док-во и как продолжать ход мыслей

Частично рекурсивная функция φ называется потенциально рекурсивной, если существует такая рекурсивная ф-ция f, что φ (x1, x2, …, xn) = f (x1, x2, …, xn) всякий раз, когда значение φ (x1, x2, …, xn) определено. Доказать, что функция μyT1(х, x, y) не является потенциально рекурсивной. (указание. Если бы существовало рекурсивное продолжение f(x) функции μyT1(х, x, y), то оказалось бы, что предикат ЕyT1(х, x, y) эквивалентен рекурсивному предикату T1(х, x, f(x)). )

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неинформативный заголовок;
- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы); картинку можно убрать,
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.