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.