Interested Article - Лямбда-исчисление

Проект «Информационные технологии» (уровень II, важность для проекта высшая)

Эта статья тематически связана с вики-проектом «Информационные технологии» , цель которого — создание и улучшение статей по темам, связанным с информационными технологиями . Вы можете , а также присоединиться к проекту , принять участие в его обсуждении и поработать над требуемыми статьями .

II

Уровень статьи по шкале оценок проекта : развитая

Высшая

Важность статьи для проекта « Информационные технологии »: высшая

Обсуждение

Это не форум для обсуждения Лямбда-исчисления .

Страница обсуждения статьи не должна использоваться как форум для отвлечённых дискуссий о предмете статьи или для изложения личных взглядов участников, поскольку содержимое статьи в конечном итоге должно опираться на авторитетные источники .

Правило подстановки -- центральное в λ-исчислении, оно никак не обсуждается. Упущено и отношение конвертируемости.-- VEW 16:25, 23 марта 2008 (UTC) [ ]

Это верно. Статья не полна. Возьметесь дописать? Х ацкер 00:11, 26 марта 2008 (UTC) [ ]

Постараюсь. -- VEW 16:22, 26 марта 2008 (UTC) [ ]

Это соображение в общем виде записывается как

(\lambda x.t)\ a=t[a:=x],

и носит название β-редукция . -- возможно ошибка и правильно так:

(\lambda x.t)\ a=t[x:=a],

-- ВВ 195.60.245.246 09:53, 11 ноября 2008 (UTC) [ ]

совершенно верно. спасибо. Х ацкер 12:24, 11 ноября 2008 (UTC) [ ]

Удаление абзаца

Не мог не удалить следующий абзац из секции "η-преобразование"

Надо отметить, что если рассматривать лямбда-термы не как функции, а именно как алгоритмы, то данное преобразование не всегда уместно: существуют случаи, когда вычисление $\lambda x.f\ x$ завершается, а вычисление $f$ не завершается.

Это высказывание противоречит теореме Черча-Россера. Согласно теореме Черча-Россера, никогда не поздно вернуться к нормализованной стратегии редукции лямбда-выражений.