Alonzo Church, matemático e lógico americano (m. 1995)
Alonzo Church (14 de junho de 1903 - 11 de agosto de 1995) foi um matemático e lógico americano que fez grandes contribuições para a lógica matemática e os fundamentos da ciência da computação teórica. Ele é mais conhecido pelo cálculo lambda, tese de Church-Turing, provando a insolubilidade do Entscheidungsproblem, ontologia de Frege-Church e o teorema de Church-Rosser. Ele também trabalhou em filosofia da linguagem (ver, por exemplo, Church 1970). Ao lado de Alan Turing, Church é considerado um dos fundadores da ciência da computação.