Alonzo Church Church, Alonzo <person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the {lambda-calculus} and posited a version of the {Church-Turing thesis}. (1995-03-25)