Доказать примитивную рекурсивность функции

[toobeerdy]

Доказать, что функция U(x) (если х - геделев номер вывода равенства r= ̅p, то U(x) = p) примитивно рекурсивна: U(x)=μy(y<x)(Num(x)=((x)lh(x)﬩1) lh(z)﬩1), где z= (x)lh(x)﬩1.

Подскажите алгоритм решения, потому что не знаю даже с чего начать.

[Sonic86]

Как правильно набирать формулы на форуме dxdy

[Toucan]

Тема перемещена в Карантин.

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения задачи.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

________________
Всякий, кто поступил в университет, но не хочет сам учиться - враг своей страны, подрывающий ее научно-технический, интеллектуальный и оборонный потенциалы.
(c) по мотивам сообщения Yuri Gendelman.