Alonzo Church.
Nació el 14 de junio de 1903, Washington y muere el 11 de agosto de 1995. Se especializo en lógica matemática y matemáticas.
Su obra más conocida es el desarrollo de el lambda cálculo a pesar de que en esa época las computadoras no existían se pudo considerar como el primer lenguaje funcional de la historia, sus fundamentos son la base de la teoría de la programación funcional y de lenguajes funcionales posteriores.
El cálculo lambda se uso en 1936 para resolver el Entscheidungsproblem. Puede se utilizado para definir de manera concreta y precisa que es un función computable.
El lambda cálculo es universal para cualquier función computable, puede ser expresada y evaluada como también lo hace la maquina de Turing. Según la tesis de Church-Turing, ambos modelos pueden expresar cualquier cómputo posible.
Bibliografía.
Biografiasyvidas.com:
http://www.bigrafiasyvidas.com/biografia/c/church_alonzo.html
Enciclopedia.us.es:
http://enciclopedia.us.es/index.php/C%C3%A1lculo_lambda
Monografias.com:
http://www.monografias.com/trabajos30/paradigma-funcional/paradigma-funcional.shtml
Articulos de dominio publico sin autor.
Articulos de dominio publico sin autor.
No hay comentarios:
Publicar un comentario