Создан заказ №1179838
9 мая 2016
Доказать, что предикат является (или не является) (примитивно) рекурсивным
Как заказчик описал требования к работе:
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным: "х есть геделев номер аксиом S(i)" , где S(i)– номер собственной аксиомы формальной арифметики в нумерации: Э. Мендельсон. Введение в мат. лог. М., 1971.: гл.3 «Формальная арифметика»; § 1; с. 116.
i=1;2;3;4
(Менд
ельсон.: С.151-)
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
10 мая 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Доказать, что предикат является (или не является) (примитивно) рекурсивным.jpg
2018-02-10 10:37
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Быстрое и полностью расписанное решение. У преподавателя вопросов не было, все верно. Очень довольна!