Get Babylon's Translation Software!
Free Download Now!
| Wikipedia Español La enciclopedia libre | Baje este diccionario |
Cálculo lambda
El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930; Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una "función computable". El interrogante de si dos expresiones del lambda cálculo son equivalentes no puede ser resuelto por un algoritmo general. Esta fue la primera pregunta, incluso antes que el problema de la parada, para el cual la indecidibilidad fue probada. El cálculo lambda tiene una gran influencia sobre los lenguajes funcionales, como Lisp, ML y Haskell.
Ver más en Wikipedia.org...
Este artículo utiliza contenidos de Wikipedia® y está disponible bajo los términos de la Licencia de documentación libre GNU
