Powered by Rock ConvertAlonzo Church, Teórico dos Limites da Matemática
(Crédito da foto: YouTube / REPRODUÇÃO / DIREITOS RESERVADOS)
Alonzo Church (Washington em 14 de junho de 1903 – Hudson, Ohio, em 11 de agosto de 1995), foi um eminente colaborador da lógica matemática e professor de uma geração de lógicos americanos.
As principais realizações do Dr. Church foram estender o trabalho de Kurt Gödel (1906-1978) sobre os fundamentos da matemática em uma direção que se baseia na filosofia moderna e na ciência da computação. “Se você perguntar quem é o maior lógico do século XX, sem dúvida é Gödel, mas Church foi realmente proeminente entre os lógicos americanos”, disse Simon B. Kochen, professor de matemática da Universidade de Princeton.
Nascido em Washington em 1903, o Dr. Church passou a maior parte de sua carreira profissional em Princeton, onde recebeu seu Ph.D. em 1927. Duas de suas contribuições mais importantes para a lógica matemática são conhecidas como a tese de Church e o teorema de Church.
Ambos podem ser explicados em referência ao teorema da incompletude de Gödel, uma pedra angular da lógica matemática. Godel, um jovem matemático tcheco em Viena, mostrou em 1931 que qualquer sistema consistente de lógica formal poderoso o suficiente para expressar as verdades da aritmética deve ser incompleto, no sentido de que conterá declarações que são verdadeiras, mas não podem ser provadas ou refutadas usando a próprio sistema. Isso desferiu um golpe fatal no programa proposto por David Hilbert (1862-1943) para desenvolver um método para determinar a verdade ou falsidade de qualquer afirmação em lógica formal e, portanto, de qualquer afirmação matemática, por mais complexa que seja.
A tese do Dr. Church trata da questão do que é computável por um computador digital moderno. Sua tese sustenta que as funções computáveis são de fato as mesmas que os lógicos chamam de funções recursivas, uma noção usada por Gödel na prova de seu teorema da incompletude.
Embora muitas outras definições de funções computáveis tenham sido oferecidas desde então, todas se revelaram iguais às funções recursivas, exatamente como o Dr. Church supôs. Independentemente, Alan Turing, o matemático inglês, propôs uma definição de computabilidade mais direta, mas equivalente, na forma de um dispositivo de computação teórico conhecido como máquina de Turing.
O teorema do Dr. Church se aplica à natureza de um ramo da lógica conhecido como cálculo de predicados. Assim como o teorema da incompletude de Gödel mostrou que não há algoritmo, ou procedimento de decisão, que determinará se uma afirmação em aritmética é demonstrável em aritmética, o Dr. Church provou que também não existe tal algoritmo no cálculo de predicados.
O trabalho do Dr. Church foi importante na fundação da ciência da computação. Ele também foi influente como professor, incluindo entre seus alunos lógicos eminentes como Stephen C. Kleene (1909—1994), J. Barkley Rosser (1907–1989) e Turing.
Além de treinar uma geração de lógicos, o Dr. Church editou o The Journal of Symbolic Logic, por muitos anos a principal publicação da área.
Ele era uma pessoa quieta e muito precisa. O Dr. Kochen, um ex-aluno dele, lembrou que na primeira vez que assistiu a uma das palestras do Dr. Church, o Dr. Church “foi até o quadro-negro, pegou uma borracha e a moveu para cima e para baixo em movimentos verticais enquanto cantarolava para si mesmo ,” acrescentando: “Então ele passou por todo o quadro-negro novamente com traços horizontais, ainda cantarolando. Percebo agora que ele estava apenas pensando no que ia dizer.”
Dr. Church se aposentou de Princeton em 1968 e mudou-se para a Universidade da Califórnia em Los Angeles, onde foi professor de filosofia e matemática até 1990. Ele então se mudou para Hudson, Ohio, para morar perto de seu filho, Alonzo Church Jr.
Alonzo Church faleceu em Hudson, Ohio, em 11 de agosto. Ele tinha 92 anos.
Sua esposa, Mary Julia Kuczinksi, morreu em 1976. Além de seu filho, ele deixa duas filhas, Mary Ann Addison e Mildred Dandridge.
(Fonte: https://www.nytimes.com/1995/09/05/arts – New York Times Company / ARTES / Os arquivos do New York Times / Por Nicholas Wade – 5 de setembro de 1995)
Powered by Rock Convert
