资料来源 : Free On-Line Dictionary of Computing

Alonzo Church
     
         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)