Alonzo Church

Alonzo Church (14 de junho de 1903 - Washington, D.C.)Foi um matemático norte americano que atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Entre suas maiores contribuições, estão o Cálculo Lambda, um sistema matemático formal que investiga funções, aplicação de funções. Influenciou as linguagens de programação, principalmente as linguagens funcionais, como o LISP (LISP 'puro' pode ser chamada de uma linguagem funcional verdadeira).
Veja mais na Wikipédia.org...