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)
