Vida, obra y algunos milagros de Alonzo Church

Resumen

Este artículo está dedicado a Alonzo Church, que falleció en Agosto de 1995, tras una larga vida dedicada a la lógica. A él le debemos el cálculo lambda, la tesis que lleva su nombre y la solución al Entscheidungsproblem. Suyo es también Introduction to Mathematical Logic, vol. I, el libro que definió qué era la lógica, el enfoque y los temas básicos. Finalmente, Øl fue el impulsor del Journal of Symbolic Logic, la revista más conocida del área de la que fue editor durante décadas. Este artículo se desarrolla en tres partes. La primera es periodística: cuento la vida de Alonzo Church, incluyendo algunas de las muchas anécdotas que me han ido llegando. La segunda está dedicada a su obra, aunque no he pretendido, en absoluto, ser exhaustiva. La tercera es algo más personal: pretendo mostrar que el gran descubrimiento de Church fue el cálculo lambda, y que a ese acierto inicial debemos muchas de sus posteriores inspiraciones, tanto como las de sus discípulos, incluyendo la Teoría de la Recursión de Kleene y la prueba de completud de Henkin. He añadido un apéndice en donde presento el cálculo lambda con tipos y una demostración de indecidibilidad de la lógica de primer orden.