Математическая логика и теория алгоритмов 16. Лямбда исчисление (продолжение)

00:00 - ...

Дата лекции 11.05.22
Лектор: Мусатов Даниил Владимирович

Монтажер: Калинин Иван
Оператор: Жильцов Игорь

[БогачевВладимир-вв]

6:10 Не совсем понятно что происходит в случае, рассмотренном на предыдущей лекции (\x.a)((\x.xx)(\x.xx)). В данном случае выявления могут породить бесконечную цепочку, а могут и не породить

[boriscontube]

*Например, если ДЛЯ учета производства или дистрибуции разных фруктов сказать, что отныне будем называть их "грибами", "бочками" или "бананами", то это (вероятно) позволит организовать процессы (вплоть до получения новых видов и торговли), но вряд ли ими можно будет заменить грибы.*

[boriscontube]

*Здравствуйте! Объясняя концепцию л-исчисления, Вы говорите: "ВСЕ есть ФУНКЦИЯ. Всякое преобразование одной функции в другую, всякое логическое значение, всякое число - может рассматриваться как так называемая ФУНКЦИЯ-ключевой объект". Но Вы не говорите, в каком смысле что-либо может рассматриваться в качестве ФУНКЦИИ-ключевого объекта! Что та или иная сущность теряет, когда ее пытаются загнать в рамки л-исчисления? Какие свойства сущности позволяют использовать ее в качестве ФУНКЦИИ-объекта л-исчисления?*

(Может ли множество рассматриваться как ФУНКЦИЯ-объект л-исчисления?)

*В каком смысле функция может рассматриваться как ФУНКЦИЯ-объект л-исчисления?*