Cálculo lambda
Lambda calculus
- Fecha
- 1932-1936 · fiabilidad alta
- Lugar
- Princeton, Nueva Jersey, Estados Unidos
- Autoría
- Alonzo Church
- Ámbito
- Saber y símbolos
Qué se descubrió
El lógico estadounidense Alonzo Church introdujo en Princeton, entre 1932 y 1936, el cálculo lambda, un sistema formal para expresar funciones y su aplicación mediante abstracción y sustitución, concebido originalmente dentro de un programa más amplio sobre los fundamentos de la lógica matemática.
El sistema original de 1932-1933 resultó ser lógicamente inconsistente (paradoja de Kleene-Rosser, 1935); en 1936 Church aisló y publicó la parte relevante para la computación, hoy conocida como cálculo lambda no tipado.
A qué dio paso
- formalización de la computabilidad, mostrada equivalente a la máquina de Turing (tesis de Church-Turing)
- fundamento teórico de los lenguajes de programación funcional
- influencia directa en lenguajes como Lisp y Haskell