Igreja Alonzo - Alonzo Church
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:
- Sua prova de que o Entscheidungsproblem , que pede um procedimento de decisão para determinar a verdade de proposições arbitrárias em uma teoria matemática de primeira ordem , é indecidível . Isso é conhecido como teorema de Church .
- Sua prova de que a aritmética de Peano é indecidível.
- Sua articulação do que veio a ser conhecido como a tese de Church-Turing .
- Ele foi o editor fundador do Journal of Symbolic Logic , editando sua seção de resenhas até 1979.
- Sua invenção do cálculo lambda .
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
- Princípio de Church – Turing – Deutsch
- Lógica de ordem superior
- Lista de pioneiros em ciência da computação
- Platonismo Moderno
- Conjunto universal
Notas
Referências
- Enderton, Herbert B. , Alonzo Church: Life and Work . Introdução às Obras Coletadas da Igreja de Alonzo , MIT Press, ainda não publicado.
- Enderton, Herbert B., In memoriam: Alonzo Church , The Bulletin of Symbolic Logic , vol. 1, não. 4 (dezembro de 1995), pp. 486–488.
- Wade, Nicholas, Alonzo Church, 92, Theorist of the Limits of Mathematics (obituário), The New York Times , 5 de setembro de 1995, p. B6.
- Hodges, Wilfred , Obituary: Alonzo Church , The Independent (Londres) , 14 de setembro de 1995.
- Alonzo Church entrevistado por William Aspray em 17 de maio de 1984. A Comunidade de Matemática de Princeton na década de 1930: Um Projeto de História Oral , transcrição número 5.
- Rota, Gian-Carlo , Fine Hall em sua época de ouro: Lembranças de Princeton no início dos anos cinquenta . Em A Century of Mathematics in America, Part II , editado por Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 223-226. Também disponível aqui .
- Church, A. (1950). "Sobre a análise de declarações de afirmações e crenças de Carnap". The Journal of Symbolic Logic . 10 (5): 97–99. doi : 10.2307 / 3326684 . JSTOR 3326684 .
- Anderson, C. Anthony (1998). "Contribuições da Igreja de Alonzo à filosofia e à lógica intensiva". O Boletim de Lógica Simbólica . 4 (2): 129–171. CiteSeerX 10.1.1.26.7389 . doi : 10.2307 / 421020 . JSTOR 421020 .
links externos
- O'Connor, John J .; Robertson, Edmund F. , "Alonzo Church" , arquivo MacTutor History of Mathematics , University of St Andrews
- Biblioteca da Universidade de Princeton, Divisão de Manuscritos, The Alonzo Church Papers, 1924–1995: achando auxílio.
- Uma bibliografia das resenhas de Church para o The Journal of Symbolic Logic, com um link para cada
- Igreja Alonzo em Find a Grave
- Alonzo Church, 92, Teórico dos Limites da Matemática obituário do New York Times
- OBITUÁRIO: Igreja Alonzo do The Independent
- In memoriam: Alonzo Church (1903–1995) de Irving H. Anellis , Modern Logic Vol. 5, No. 4 (1995).
- In memoriam: Alonzo Church 1903–1995 por HB Enderton, The Bulletin of Symbolic Logic Vol. 1, nº 5 (1995).