Alonzo Church

Alonzo Church, matemático, nasceu a 14 Junho de 1903 em Washington, D.C., USA e faleceu em Hudson, Ohio, USA no dia 11 de Agosto de 1995.

Alonzo Church foi estudante em Princeton e recebeu o seu primeiro diploma em 1924, seguindo-se o do doutoramento três anos mais tarde. A sua tese de doutoramento foi orientada por Veblen, e foi premiado pela sua dissertação de doutoramento entitulada Alternatives to Zermelo's Assumption.

Church passou um ano na Universidade de Harvard e depois mais um ano em Göttingen. Regressou aos Estados Unidos onde se tornou professor de matemática em Princeton em 1929, um lugar que manteve até 1967 quando passou a ensinar matemática e filosofia na California.

O seu trabalho mais importante foi desenvolvido em lógica matemática, teoria recursiva e em ciência computacional. Criou de-calculus em 1930, sendo hoje em dia uma ferramenta indispensável para cientistas na área da computação. 

Alonzo é sobretudo recordado pelo Teorema de Church (1936), que mostra que não existe nenhuma decisão de procedimento para a aritmética. Este teorema aparece em An unsolvable problem in elementary number theory publicado no jornal americano de matemática 58 (1936), 345-363.

Church fundou o Journal of Symbolic Logic em 1936, onde permaneceu como editor até 1979. 

Escreveu o livro Introduction to Mathematical Logic em 1956 e teve 31 alunos de doutoramento incluindo Turing, Kleene, Kemeny e Smullyan.