Кроме чистых лямбда функций, например.

задан 24 Янв '16 23:51

Если брать формальную теорию множеств, то на этой основе самоприменимость невозможна вот в каком смысле. Функция рассматривается фактически как её график, то есть множество упорядоченных пар. Если в этом множестве f есть пара (a,b), то с первым элементом a она всего одна. Тогда применение f к a даёт b. Но в обычной теории множестве не может так быть, что f равно множеству, содержащему упорядоченную пару вида (f,b): это противоречит аксиомам типа регулярности. А в программировании таких примеров много: программа -- это и текст, и набор команд, и на вход программы f можно подать текст f.

(25 Янв '16 0:35) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×635
×424

задан
24 Янв '16 23:51

показан
337 раз

обновлен
25 Янв '16 0:35

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

по почте:

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

по RSS:

Ответы

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

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