;
Alonzo Church
Alonzo Church (1903-1995) was an American mathematician and logician who made major contributions to the development of mathematics in the 20th century. He is best known for his work on the lambda calculus, which is an early model for what was later to become computer programming. He also made major contributions to recursive function theory, several proof theories, and automatic theorem proving. He is also credited with being one of the first to develop a system for calculating numerical equations, a so-called “Church-Rosser system”. He was awarded the National Medal of Science in 1975 and he was the first recipient of the ACM Turing Award in 1966.
Source: OpenAi