Vida y obra de Alonzo Church (1903-1995), matemático y lógico estadounidense que sentó la bases de la computación teórica.