Introducción al cálculo lambda

El cálculo λ, el cálculo lambda es un sistema formal utilizado para estudiar la definición de funciones, la aplicación de funciones y la recursividad. Fue introducido por Alonzo Church y Stephen Cole Kleene en la década de 1930. Church utilizó el cálculo lambda para dar una respuesta negativa al problema de Entscheidung en 1936. Este cálculo se puede utilizar para definir claramente qué es una función computable. La proposición de que dos expresiones del cálculo lambda son equivalentes no puede resolverse mediante un algoritmo general. Este es el primer problema para el que se puede demostrar la indecidibilidad, incluso antes del problema de la detención. El cálculo lambda ha tenido un gran impacto en la programación funcional, especialmente en el lenguaje Lisp.