Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph. Er war der Begründer der theoretischen Informatik und des λ-Kalküls.
Von Curch stammen die nach ihm benannten Sätze über die Nichtentscheidbarkeit der allgemeingültigen Ausdrücke des Prädikatenkalküls der ersten Stufe und die Nichtaxiomatisierbarkeit des Prädikatenkalküls der zweiten Stufe.
Im Jahre 1936 formulierte er die ebenfalls nach ihm benannte These, die partiell rekursiven Funktionen seien eine adäquate Präzisierung der intuitiven Berechenbarkeit.