Igreja Alonzo - Alonzo Church

Igreja Alonzo
Alonzo Church.jpg
Igreja Alonzo (1903–1995)
Nascer (1903-06-14)14 de junho de 1903
Faleceu 11 de agosto de 1995 (1995-08-11)(92 anos)
Cidadania Estados Unidos
Alma mater Universidade de Princeton
Conhecido por Lambda calculus
Simplesmente tipado lambda calculus
Codificação de
igreja Teorema de
Church Church – Kleene ordinal
Church – Turing tese
Ontologia de Frege – Church
Church – Teorema de Rosser
Lógica intensiva
Carreira científica
Campos Matemática , lógica
Instituições Princeton University (1929–67)
UCLA (1967–95)
Tese Alternativas à suposição de Zermelo  (1927)
Orientador de doutorado Oswald Veblen
Alunos de doutorado C. Anthony Anderson 1977
Peter Andrews 1964
Bijan Arbab 1988
George Alfred Barnard 1936
James Bennett 1962
William W. Boone 1952
Enrique Bustamente-Llaca 1944
Edward Chapin 1970
Donald Collins 1967
Aubert Daigneault 1959
Martin Davis 1950
William Easton 1964
Alfred Foster 1930
James Guard 1961
Leon Henkin 1947
Gustav Hensel 1963
David Kaplan
John George Kemeny 1949
Stephen Cole Kleene 1934
Simon B. Kochen 1959
Maurice L'Abbé 1951
Isaac (Richard) Malitz 1976
Gary R. Mar 1985
Gerald Massey 1964
Michael O. Rabin 1957
Nicholas Rescher 1951
Wayne Richter 1963
Robert Ritchie 1960
Joel Robbin 1965
Hartley Rogers, Jr 1952
J. Barkley Rosser 1934
Dana Scott 1958
Norman Shapiro 1955
Raymond Smullyan 1959
Alan Turing 1938
Robert Winder 1962

Alonzo Church (14 de junho de 1903 - 11 de agosto de 1995) foi um matemático e lógico americano que fez grandes contribuições à lógica matemática e aos fundamentos da ciência da computação teórica . Ele é mais conhecido pelo cálculo lambda , a tese de Church-Turing , que prova a insolubilidade do Entscheidungsproblem , da ontologia Frege-Church e do teorema de Church-Rosser . Ele também trabalhou com filosofia da linguagem (ver, por exemplo, Church 1970). Ao lado de Alan Turing , Church foi considerado um dos fundadores da ciência da computação .

Vida

Alonzo Church nasceu em 14 de junho de 1903, em Washington, DC , onde seu pai, Samuel Robbins Church, era o juiz do Tribunal Municipal do Distrito de Columbia. A família mudou-se mais tarde para a Virgínia depois que seu pai perdeu o cargo devido a problemas de visão. Com a ajuda de seu tio, também chamado Alonzo Church, o filho frequentou a escola particular Ridgefield para meninos em Ridgefield, Connecticut . Depois de se formar em Ridgefield em 1920, Church frequentou a Princeton University , onde foi um aluno excepcional. Ele publicou seu primeiro artigo sobre as transformações de Lorentz e se formou em 1924 em matemática. Ele ficou em Princeton para fazer pós-graduação, ganhando um Ph.D. em matemática em três anos com Oswald Veblen .

Casou-se com Mary Julia Kuczinski em 1925. O casal teve três filhos, Alonzo Church Jr. (1929), Mary Ann (1933) e Mildred (1938).

Depois de receber seu Ph.D., ele ensinou brevemente como instrutor na Universidade de Chicago . Ele recebeu uma bolsa de pesquisa nacional de dois anos que lhe permitiu frequentar a Harvard University em 1927–1928, e a University of Göttingen e a University of Amsterdam no ano seguinte.

Ele ensinou filosofia e matemática em Princeton por quase quatro décadas, 1929-1967. Ele lecionou na Universidade da Califórnia, Los Angeles , 1967–1990. Ele foi um palestrante plenário no ICM em 1962 em Estocolmo.

Ele recebeu o título honorário de Doutor em Ciências da Case Western Reserve University em 1969, da Princeton University em 1985 e da University at Buffalo, The State University of New York em 1990, em conexão com um simpósio internacional em sua homenagem organizado por John Corcoran .

Uma pessoa profundamente religiosa, Church foi um membro vitalício da Igreja Presbiteriana . Ele morreu em 11 de agosto de 1995 com a idade de 92 anos. Ele está enterrado no cemitério de Princeton .

Trabalho matemático

A Igreja é conhecida pelas seguintes realizações significativas:

O cálculo lambda surgiu em seu artigo de 1936 mostrando a insolubilidade do Entscheidungsproblem. Esse resultado precedeu o trabalho de Alan Turing sobre o problema da parada , que também demonstrou a existência de um problema insolúvel por meios mecânicos. Church e Turing então mostraram que o cálculo lambda e a máquina de Turing usados ​​no problema de parada de Turing eram equivalentes em capacidades, e subsequentemente demonstraram uma variedade de "processos mecânicos alternativos para computação". Isso resultou na tese de Church – Turing.

Os esforços para gerar automaticamente uma implementação de controlador a partir de especificações originam-se de suas idéias.

O cálculo lambda influenciou o design da linguagem de programação LISP e das linguagens de programação funcional em geral. A codificação da Igreja é nomeada em sua homenagem.

Em sua homenagem, o Prêmio Alonzo Church de Contribuições Extraordinárias para Lógica e Computação foi estabelecido em 2015 pela Associação para o Grupo de Interesse Especial de Máquinas de Computação para Lógica e Computação ( ACM SIGLOG ), a Associação Europeia de Ciência da Computação Teórica (EATCS), a Associação Europeia for Computer Science Logic ( EACSL ) e a Kurt Gödel Society (KGS). O prêmio é por uma contribuição notável para o campo publicada nos últimos 25 anos e ainda não deve ter recebido reconhecimento por meio de outro prêmio importante, como o Prêmio Turing , o Prêmio Paris Kanellakis ou o Prêmio Gödel .

Trabalho filosófico

A elaboração de uma metodologia por Church envolvendo o método logístico, suas críticas filosóficas ao nominalismo e sua defesa do realismo, sua argumentação levando a conclusões sobre a teoria do significado e a construção detalhada das lógicas intensionais fregeanas e russelianas são mais do que suficientes para situar ele está entre os filósofos mais importantes deste século.

Alunos

Muitos dos alunos de doutorado da Igreja conduziram carreiras de destaque, incluindo C. Anthony Anderson , Peter B. Andrews , George A. Barnard , David Berlinski , William W. Boone , Martin Davis , Alfred L. Foster , Leon Henkin , John G. Kemeny , Stephen C. Kleene , Simon B. Kochen , Maurice L'Abbé , Isaac Malitz , Gary R. Mar , Michael O. Rabin , Nicholas Rescher , Hartley Rogers, Jr. , J. Barkley Rosser , Dana Scott , Raymond Smullyan e Alan Turing . Uma lista mais completa dos alunos da Igreja está disponível via Mathematics Genealogy Project .

Livros

  • Igreja Alonzo, Introdução à Lógica Matemática ( ISBN  978-0-691-02906-1 )
  • Igreja Alonzo, The Calculi of Lambda-Conversion ( ISBN  978-0-691-08394-0 )
  • Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935 ( ISBN  978-0-8218-0084-3 )
  • C. Anthony Anderson e Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church ( ISBN  978-1-4020-0141-3 )

Veja também

Notas

Referências

links externos