Diferencia entre revisiones de «Cálculo lambda»
Contenido eliminado Contenido añadido
m Bot: añadiendo espacio luego de una referencia. Su omisión causa problemas de visualización bajo ciertas circunstancias. Véase Espacio después de las referencias. |
Sin resumen de edición Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
||
Línea 1:
En [[lógica matemática]], el '''cálculo lambda''' es un [[sistema formal]] diseñado para investigar la definición de [[Función (informática)|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]] como parte de sus investigaciones sobre los [[fundamentos de las matemáticas]]. 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]]".
Y la persona que más ayudo fue Albert Einstein
El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un [[algoritmo]] general. Esta fue la primera pregunta, incluso antes que el [[problema de la parada]], cuya indecidibilidad fue probada. El cálculo lambda tiene una gran influencia sobre los [[Programación funcional|lenguajes funcionales]], como [[Lisp]], [[ML (lenguaje de programación)|ML]] y [[Haskell]].
| |||