14 de junho
Alonzo Church foi um matemático estadunidense.
Este matemático dedicou-se, principalmente, a lógica matemática, teoria da recursão e teoria da computação.
Entre as maiores contribuições de Church, estão o cálculo lambda, um sistema matemático formal que investiga funções, aplicação de funções.
Comentários
Enviar um comentário