доказать что функция примитивно рекурсивна

[datgen]

например доказать что функция $x+3$ примитивно-рекурсивна
приведите пожалуйста пример доказательства
или где прочитать

[мат-ламер]

datgen в сообщении #671011 писал(а):

например доказать что функция x+3 примитивно-рекурсивна

А функция $x+1$ будет примитивно-рекурсивной?

[datgen]

я думаю да,если $x+3$ будет рекурсивной

[Maslov]

Почитайте здесь Петер Р. Рекурсивные функции

[Slow]

Данная функция получается с помощью оператора примитивной рекурсии:
$f(0)=3$
$f(x+1)=s(s(s(f(x))))$
Где $s(x)=x+1$-простейшая функция

[Deggial]

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

datgen, оформите формулы ТеХом (у Вас их всего две). Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.

[AKM]

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