9
Alonzo Church (Washington 1904 – Hudson 1995)
Matemático y Lógico norteamericano, es el creador del concepto de computación, ya que fue el
primero que describió este concepto en su sistema de nombre
“Cálculo Lambda”
(con ayuda de
Stephen Kleene).
El cálculo lambda nació para resolver el problema de Entscheidungsproblem. En el año de 1900, en
el congreso Internacional de Matemáticos en Paris, el matemático David Hilbert planteó 23
problemas, en los cuales destaca el Entscheidungsproblem (o décimo problema de Hilbert). Hilbert
buscaba un procedimiento algorítmico general para resolver un proceso matemático, y que este
proceso nos dijera si la sentencia tenia solución o no.
El sistema de cálculo lambda sirve para definir si una función es computable, es decir, si un problema
puede ser resuelto por medio de pasos y reglas. Se puede considerar el cálculo lambda como el más
pequeño lenguaje de programación.
Destacan, dentro de su abundante producción teórica, sus obras
Cálculo de conversión lambda
(1941) e
Introducción a la lógica matemática
(1944). Church difundió sus trabajos a través del
Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desde 1936.
