Атомарная формула. Доказательство рекурсивности предиката.

[Cunning]

Дан предикат Eqt(x):"x есть геделев номер равенства"
Нужно доказать что данный предикат примитивно рекурсивен.
$A_1^2 - $ предикатный символ равенства $\\$ Геделев номер предикатного символа равентсва равен 107 $\\$ => Eqt(x) можно выразить формально как : $\\$ Atfml(x) \& $(x)_0$ = 107 , где Atfml(x):

Так вот, препод спросил зачем в заданный предикат включили предикат: Atfml(x)^...

[Sonic86]

Не понял,

Cunning в сообщении #792078 писал(а):

Нужно доказать что данный предикат примитивно рекурсивен.

У Вас предикат выражен явно, что мешает доказать его примитивную рекурсивность в лоб?

Cunning в сообщении #792078 писал(а):

Так вот, препод спросил зачем в заданный предикат включили предикат: Atfml(x)^...

А как Вы думаете? Чему равно, по Вашему $\operatorname{Eqt}(A_1^2(\mathrm{preved}\text{ }\mathrm{medved}))$?

[Cunning]

Цитата:

А как Вы думаете? Чему равно, по Вашему $\operatorname{Eqt}(A_1^2(\mathrm{preved}\text{ }\mathrm{medved}))$?

Простите, но я так и не понял зачем мы включили Atfml(x) & $(x)_0$=107 а предикат Eqt(х). Если вас не затруднит, пояните ваш ответ.

[Sonic86]

Cunning в сообщении #792124 писал(а):

Простите, но я так и не понял зачем мы включили Atfml(x) & $(x)_0$=107 а предикат Eqt(х). Если вас не затруднит, пояните ваш ответ.

Я не могу дать ответ на простой вопрос - вы должны понять сами.
Ответьте на такие вопросы:
1) Чему равно $(x)_0$ для $x=A_1^2(\mathrm{preved \ medved})$?
2) Чему равно $(x)_0 \& \operatorname{Atmfl}(x)$ для $x=A_1^2(\mathrm{preved \ medved})$?
3) Является ли формула $A_1^2(\mathrm{preved \ medved})$ равенством?
Сопоставьте ответы на эти вопросы.

(Оффтоп)

а все формулы набрать $\LaTeX$ом слабО?

[Cunning]

Все же к сожалению я так и не разобрался, пришлось попросить дать другой вопрос. И все же интересно зачем он включен, можете все таки сказать?