Alonzo Church desarrolló una teoría de la calculabilidad efectiva, el cálculo lambda, independientemente del desarrollo de Alan Turing de la máquina Turing. También demostró lo que ahora se conoce com...Alonzo Church desarrolló una teoría de la calculabilidad efectiva, el cálculo lambda, independientemente del desarrollo de Alan Turing de la máquina Turing. 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.
