El Cálculo Lambda y su impacto en Computación

Alonzo Church presentó, en 1930, el Cálculo Lambda como un conjunto de postulados cuyo propósito era fundamentar a la lógica y por ende fundametar a las matemáticas apartir del concepto de función, por lo que se quería que fuera un sistema consistente, sin embargo Kleene y Rosser demostrarón que era inconsistente, por lo que el propósito original del Cálculo Lambda no se cumplió, sin embargo Church declararía que, su sistema podría tener usos distintos en el futuro. Fueron casi proféticas las palabras de Church, ya que Kleene demostró que el Cálculo Lambda era un sistema de computo universal (equivalente a las máquinas de Turing) , en 1950 Jhon Mc Carthy fue inspirado por el Cálculo Lambda para crear LISP (aunque McCarthy al parecer no entendía mucho del Cálculo lambda ya que en su artículo Recursive Functions of symbolic expressions and their Computation, Comunications of theACM, escribió que la notación lambda era inadecuada para expresar funciones recursivas, afirmación totalmente falsa), a principios de los sesentas Peter Landin demostró que la semántica de los lenguajes de programación imperativos podía ser descrita con el Cálculo Lambda, esto introdujo la principal notación de los lenguajes de programación funcionales, e influyó en el diseño de lenguajes tanto imperativos como funcionales, esto a su ves influyó a Christopher Strachey a realizar trabajos importantes en el fundamento de la semántica denotacional, el trabajo de Christopher Strachey inspiró a Dana Scott a inventar la teoría de dominios, la cual es una de las más importantes areas en la parte teórica de ciencias de la computación. En resumen el Cálculo Lambda ha tenido un importante impacto en áreas de la computación como son:

• Diseño de lenguajes de programación
• Semántica de lenguajes de programación
• Arquitectura de computadoras
• Computación teórica
  

Referencias:
Salinger, Peter. Lecture Notes On Lambda Calculus
Barendregt, Kenk and Barendsen Erik.Introduction To Lambda Calculus
Mc Carthy, Jhon.
Recursive Functios of symbolic expressions and their Computation, comunications of the ACM
Walder, Philip.Proofs are Program