Обсуждение:Лямбда-исчисление
Обсуждение
Правило подстановки -- центральное в λ-исчислении, оно никак не обсуждается. Упущено и отношение конвертируемости.--VEW 16:25, 23 марта 2008 (UTC)
Это соображение в общем виде записывается как и носит название β-редукция. -- возможно ошибка и правильно так: -- ВВ 195.60.245.246 09:53, 11 ноября 2008 (UTC)
Удаление абзацаНе мог не удалить следующий абзац из секции "η-преобразование"
Это высказывание противоречит теореме Черча-Россера. Согласно теореме Черча-Россера, никогда не поздно вернуться к нормализованной стратегии редукции лямбда-выражений.
Пусть E1 и E2 суть ламбда-выражения, причем справедливо соотношение: E1 = E2. Тогда существует ламбда-выражение E такое, что выполнены следующие условия: во-первых, E1 = E, и, во-вторых, E2 = E. Заметим, что символ "=" в формулировке теоремы понимается в смысле отношения конвертируемости. alanubi 19:56, 8 августа 2010 (UTC) Язык статьиНельзя ли переписать статью? Для не-специалистов понятно очень мало, хотя тема не такая уж и сложная. 213.206.55.129 20:49, 3 сентября 2010 (UTC)
|
![{\displaystyle (\lambda x.t)\ a=t[a:=x],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/690d0a9e34efa213ef2d8662b9a1864f0322b713)
![{\displaystyle (\lambda x.t)\ a=t[x:=a],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc1d59e31f91003afb69d5d65bac21a92d3178d9)
Portal di Ensiklopedia Dunia
