| Alonzo Church
|
| Nascimento
|
14 de junho de 1903
Washington, D.C., Estados Unidos
|
| Morte
|
8 de novembro de 1995 (92 anos)
Hudson, Ohio
|
| Sepultamento
|
Cemitério de Princeton
|
| Nacionalidade
|
estadunidense
|
| Cidadania
|
Estados Unidos
|
| Alma mater
|
Universidade de Princeton
|
| Ocupação
|
matemático, filósofo, professor universitário, cientista de computação
|
| Empregador(a)
|
Universidade de Princeton, Universidade da Califórnia em Los Angeles
|
| Orientador(a)(es/s)
|
Oswald Veblen[1]
|
| Orientado(a)(s)
|
Curtis Anthony Anderson, Peter Andrews, George Alfred Barnard, Martin Davis, Alfred Leon Foster, Leon Henkin, David Kaplan, John George Kemeny, Stephen Kleene, Michael Rabin, Hartley Rogers, Jr, John Barkley Rosser, Nathan Salmon, Dana Scott, Raymond Smullyan, Alan Turing
|
| Instituições
|
Universidade de Princeton (1929–1967)
University of California, Los Angeles (1967–1995)
|
| Campo(s)
|
matemática e lógica
|
| Tese
|
1927: Alternatives to Zermelo's Assumption
|
| Obras destacadas
|
Tese de Church-Turing, Princípio de Church-Turing-Deutsch, Frege–Church ontology, Teorema de Church-Rosser, Church–Turing theorem, cálculo lambda
|
| Religião
|
presbiterianismo
|
|
|
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
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).
