Alonzo Church

Alonzo Church (1903–1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science. He is the author of Introduction to Mathematical Logic (Princeton).