Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American
mathematician,
computer scientist,
logician, and
philosopher who made major contributions to
mathematical logic and the foundations of
theoretical computer science. He is best known for the
lambda calculus, the
Church–Turing thesis, proving the unsolvability of the ''
Entscheidungsproblem'' ("decision problem"), the
Frege–Church ontology, and the
Church–Rosser theorem. Alongside his doctoral student
Alan Turing, Church is considered one of the founders of
computer science.
Provided by Wikipedia
-
1