Alonzo Church (1903 1995) Lgico matemtico y filsofo nacido en Washington, D.C.
, autor del
famoso libro Introduction of Mathematical Logic. Fue profesor de matemticas en la Universidad de
Princeton (1929-1967) y luego profesor de filosofa y matemticas en la Universidad de California,
Los Angeles, UCLA (1967), donde escribi su principal obra. Fue editor del Journal of Symbolic
Logic (1936-1979) y miembro de la Academia Nacional de Ciencias. Su trabajo se volvi muy
influyente en los campos de la lgica matemtica, teora de recursividad e informtica terica. Al
final de su vida fue ampliamente reconocido como el ms grande lgico vivo en el mundo. Sus
principales contribuciones fueron Teorema de Church (1936), demostrando que la aritmtica es
indescifrable y la Tesis de Church, conjeturando que cmputo eficaz es equivalente a la nocin de
una funcin recursiva. Muri en Hudson, Ohio, a la edad de 92 aos y fue enterrado en el
cementerio
de
Princeton.
Alonzo Church
De sus trabajos es notable su concepto de calculabilidad de una funcin y su
demostracin de la indecidibilidad de la lgica de primer orden, es decir, del clculo
cuantificacional elemental. Alonzo Church desarroll asimismo el clculo de conversin
lambda, que permite efectuar operaciones lgicas con variables generalizadas.
Destacan, dentro de su abundante produccin terica, sus obras Clculo de conversin
lambda(1941) e Introduccin a la lgica matemtica (1944). Church difundi sus
trabajos a travs delJournal of Symbolic Logic, publicacin que l mismo diriga y
editaba desde 1936.
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemtico
y lgico norteamericano responsable por crear la base de la computacin terica. Nacido en la
ciudad de Washington, se diplom en 1924 y obtuvo su doctorado en 1927 en la Universidad de
Princeton, donde ejerci como profesor entre 1929 y 1967.
Su obra ms conocida es el desarrollo del clculo lambda, y su trabajo de1936 que muestra la
existencia de problemas indecidibles. Este trabajo precedi el famoso trabajo de su alumno Alan
Turing sobre el problema de parada que tambin demostr la existencia de problemas irresolubles
por dispositivos mecnicos. Luego de revisar la tesis doctoral de Turing, demostraron que el clculo
lambda y la mquina de Turing utilizada para expresar el problema de parada tenan igual poder de
expresin; posteriormente demostraron que una variedad de procesos mecnicos alternos para
realizar clculos tenan poder de cmputo equivalente. Como resultado se postul la Tesis de
Church-Turing.1
Entre los ms conocidos estudiantes de doctorado de Church estnStephen Kleene, J. Barkley
Rosser, Leon Henkin, John George Kemeny,Michael O. Rabin, Dana Scott, Simon
Kochen y Raymond Smullyan.
Church public entre 1924 y 1995 trabajos sobre Lgica, filosofa, matemticas y computacin. En
su trabajo de 1936 An unsolvable problem of elementary number theory Church formul por
primera vez lo que ahora se conoce como la tesis de Church que es la identificacin del concepto
vago de calculabilidad efectiva con la nocin precisa de funcin recursiva. Su artculo A note on
the entscheidungsproblem present lo que ahora se conoce como el teorema de Church: La
indecidibilidad de la validez de la lgica de primer orden. En 1941 public su monografa The
calculi of lambda-conversin. Este trabajo tiene gran influencia en el rea decomputacin terica.2
El clculo lambda influenci el diseo del lenguaje Lisp as como los lenguajes de programacin
funcional.
Resumen
Este artculo est dedicado a Alonzo Church, que falleci en Agosto de 1995,
tras una larga vida dedicada a la lgica. A l le debemos el clculo lambda, la tesis
que lleva su nombre y la solucin al Entscheidungsproblem. Suyo es tambin
Introduction to Mathematical Logic, vol. I, el libro que defini qu era la lgica, el
enfoque y los temas bsicos. Finalmente, l fue el impulsor del Journal of Symbolic
Logic, la revista ms conocida del rea de la que fue editor durante dcadas. Este
artculo se desarrolla en tres partes. La primera es periodstica: cuento la vida de
Alonzo Church, incluyendo algunas de las muchas ancdotas que me han ido
llegando. La segunda est dedicada a su obra, aunque no he pretendido, en absoluto,
ser exhaustiva. La tercera es algo ms personal: pretendo mostrar que el gran
descubrimiento de Church fue el clculo lambda, y que a ese acierto inicial debemos
muchas de sus posteriores inspiraciones, tanto como las de sus discpulos, incluyendo
la Teora de la Recursin de Kleene y la prueba de completud de Henkin. He aadido
un apndice en donde presento el clculo lambda con tipos y una demostracin de
indecidibilidad de la lgica de primer orden.
