3587Задача

Задание закрыто
Стоимость:200 рублей
Срок выполнения:1 день
Варианты оплаты:Без предоплаты
Дата публикации:2015-05-20 12:21
Был(а) на сайте:2024-06-25 17:47

3587Задача

 
Задача

Требования:
необходимо решить следующую задачу: Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным: «х есть геделев номер частного случая схемы аксиом S(9)» , где S(9) – номер собственной аксиомы формальной арифметики в нумерации: Э. Мендельсон. Введение в мат. лог. М., 1971.: гл.3 «Формальная арифметика»; § 1; с. 116. (Мендельсон.: С.151-).

Оставлять заявки могут только авторизованные пользователи.
Заявок нет

Оставлять заявки могут только авторизованные пользователи.

Другие открытые задания:

Разработать реалистичную визуализацию жилого дома20 000 р.

Бюджет: 20 000 р. Требуется разработать реалистичную визуализацию дома согласно эскизного проекта

Настройка и продвижение в Яндекс Директе50 000 р.

Бюджет: 50 000 р. Настроить контекстную рекламу разово и без ведения, и получить 5000 на бюджет с этого промкода https://ya.cc/88FJvX

Backend Developer150 000 р.

Бюджет: 150 000 р. Уровень Middle / Senior Обязанности • Разработка и поддержка серверной логики и API • Интеграция с внутренними и внешними сервисами • Оптимизация производитель…

поиск заданий