Alonzo Church, matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, donde ejerció como profesor entre 1929 y 1967. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles.