Походження символу
Лямбда не позначає слово або абревіатуру, вона виникла, завдяки посилання в «Принципової математики» Рассела, за якою слідують два типографських зміни. Приклад позначення: для функції f f (y) = 2y + 1 дорівнює 2ŷ + 1. І тут використовується символ каретки («капелюх») над y для позначення вхідної змінної.
Церква споконвічно мала намір використовувати аналогічні символи, але складачі не змогли розмістити символ «капелюх» над літерами. Тому замість цього вони надрукували його спочатку як «/y.2y+1». У наступному епізоді редагування складачі замінили «/ » на візуально схожий символ.
Введення в лямбда числення
Система складається з мови термінів, які вибираються певним формальним синтаксисом, і набору правил перетворення, які дозволяють маніпулювати ними. Останній пункт можна розглядати як эквациональную теорію або як операційне визначення.
Всі функції в лямбда-численні є анонімними, тобто не мають імен. Вони приймають тільки одну вхідну змінну, при цьому каррирование використовується для реалізації графіків з кількома непостійними.
