Такая вот задача: Выразите в λ-исчислении предикат «n — странное число» (т.е. сумма всех делителей n, кроме самого n, больше n, но никакая сумма делителей n не равна n) на нумералах Чёрча.

Есть наброски, но до конца не могу доделать, помогите пожалуйста :)

задан 16 Июн '17 18:46

изменен 16 Июн '17 18:46

@falcao somebody help please :)

(18 Июн '17 13:45) Beginner1337
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×888
×61
×33
×32

задан
16 Июн '17 18:46

показан
562 раза

обновлен
18 Июн '17 13:45

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru