Cerkev Alonzo (14. junij 1903 - 11. avgust 1995) je bil ameriški matematik in logičar, ki je pomembno prispeval k matematični logiki in temeljem teoretičnega računalništva. Najbolj znan po lambda računu, cerkev-turingu, dokazuje neodločljivost Entscheidungsproblem, frege-cerkev ontologije in izrek Cerkve-Rosser. Delal je tudi na filozofiji jezika (glej npr. Cerkev 1970). [Washington DC.][Združene države][Matematika][Logika][Univerza v Kaliforniji, Los Angeles][Teza][Dana Scott][Matematik]