Church, Alonzo, američki matematičar i logičar (Washington, 14. V. 1903 – Hudson, Ohio, 11. VIII. 1995). Sveučilišni profesor u Princetonu (od 1939) i Los Angelesu (od 1967). Bitno pridonio simboličkoj i kombinatornoj logici. Dokazao neodlučivost računa kvantne logike (1936). Razvio tzv. “lambda račun” (1932/33).