C.2: Iglesia de Alonzo

Alonzo Church nació en Washington, DC el 14 de junio de 1903. En la primera infancia, un incidente con pistola de aire dejó a Church ciego de un ojo. Terminó la escuela preparatoria en Connecticut en 1920 y comenzó su educación universitaria en Princeton ese mismo año. Concluyó sus estudios de doctorado en 1927. Después de un par de años en el extranjero, Church regresó a Princeton. Church era conocida por ser sumamente educada y cuidadosa. Su escritura en pizarra estaba inmaculada, y conservaría papeles importantes cubriéndolos cuidadosamente en cemento Duco (un pegamento transparente). Fuera de sus actividades académicas, disfrutaba leyendo revistas de ciencia ficción y no tenía miedo de escribir a los editores si detectaba alguna imprecisión en la escritura.

Los logros académicos de Church fueron grandes. Junto con sus alumnos Stephen Kleene y Barkley Rosser, desarrolló una teoría de la calculabilidad efectiva, el cálculo lambda, independientemente del desarrollo de Alan Turing de la máquina Turing. Las dos definiciones de computabilidad son equivalentes, y dan lugar a lo que hoy se conoce como la Tesis Iglesia-Turing, que una función de los números naturales es efectivamente computable si y solo si es computable a través de la máquina Turing (o cálculo lambda). También demostró lo que ahora se conoce como Teorema de la Iglesia: El problema de la decisión para la validez de fórmulas de primer orden es irresoluble.

Church continuó su obra hasta la vejez. En 1967 dejó Princeton para la UCLA, donde fue profesor hasta su retiro en 1990. Iglesia falleció el 1 de agosto de 1995 a la edad de 92 años.