Как лямбда-исчисление связано с основами математики?

Лямбда-исчисление связано с основами математики тем, что оно формализует понятие вычислимости на базе математического понятия функции. recyclebin.ru

Функции в лямбда-исчислении задаются непосредственно, без отсылки к другим математическим объектам, таким как множества или отображения. bigenc.ru Они строго описываются конечным и однозначно понимаемым набором правил преобразования аргумента в результат или, иначе говоря, алгоритмом вычисления. bigenc.ru

Кроме того, лямбда-нотация позволяет формализовать практически все виды математической нотации. kchri.narod.ru Если начать с констант и переменных и строить выражения только с помощью лямбда-выражений и применений функции к аргументам, то можно представить очень сложные математические выражения. kchri.narod.ru