Alonzo Church (college president)

There is no record of anyone named Alonzo Church serving as a college president. Alonzo Church (June 14, 1903 – August 11, 1995) was a highly influential American mathematician and logician. He is best known for his work on the lambda calculus, a formal system of computation that is foundational to computer science. He also made significant contributions to mathematical logic, including his work on the Entscheidungsproblem (decision problem) with his student Alan Turing. While he held academic positions at prestigious universities such as Princeton University, he never served as a college president. His career was primarily focused on research and teaching in mathematics and logic.