The Free On-line Dictionary of Computing (19 January 2023):

Alonzo Church
Church, Alonzo

    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)