Alonzo Church made important contributions to mathematical logic and theoretical computer science.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Church/
