(b. 1903, Washington, DC, d. 1995, Hudson, OH, Ph.D. mathematics, Princeton, 1927). Church was a mathematician and a logician, and one of the founders of computer science. His work is of major importance in mathematical logic, recursion theory and in theoretical computer science. <Discussion> <References> Tadeusz Zawidzki
<person> 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)