Escolar Documentos
Profissional Documentos
Cultura Documentos
foi um matemticoestadunidense.
Atuou principalmente nas reas de lgica matemtica, teoria da recurso e teoria da computao.
Entre suas maiores contribuies, esto o clculo lambda, um sistema matemtico formal que
investiga funes, aplicao de funes. Influenciou as linguagens de programao, principalmente
as linguagens funcionais, como o LISP (LISP 'puro' pode ser chamada de uma linguagem funcional
verdadeira).
Partindo em busca do que seria um procedimento efetivo ou mecnico (o que pode ser feito
seguindo-se diretamente um algoritmo ou conjunto de regras ), surgiram a sistematizao e
desenvolvimento das "funes recursivas". O clculo-lambda (componente caracterstico fundamental
da linguagem de programao LISP) de Alonzo Church, tornou pblica a possibilidade da definio
bem elaborada de processo efetivo.
Como foi observado, a mquina de Turing pode ser interpretada como um algoritmo. Efetivamente
toda ao de uma mquina algortmica, como o computador pode ser considerada, se resume a
calcular o valor de uma funo 2 com determinados argumentos. Este fato interessante, pois d
uma maneira de se medir a capacidade computacional de uma mquina. Uma mquina que compute
mais funes que outra mais poderosa. A partir dos resultados de Kurt Gdel, Alan Turing e Church,
pode-se dizer que existem funes para as quais no existe uma sequncia de passos que
determinem o seu valor, com base nos seus argumentos. Dizendo-se de outra maneira, "no existem
algoritmos para a soluo de determinadas funes". So as chamadas "funes no computveis".
Isto significa que para tais funes no h nem haver capacidade computacional suficiente para
resolv-las. Logo, descobrir as fronteiras entre funes computveis e no computveis equivalente
a descobrir os limites do computador em geral. A tese de Church-Turing representa um importante
passo nesse sentido. Eles perceberam que o poder computacional das Maquinas de Turing se
resumia a qualquer processo algortmico, ou seja, todas as funes computveis que pudessem ser
descritas por algoritmos. Isto foi a contribuio dada pelo trabalho de Turing e Church. As funes
computveis so as mesmas funes Turing-computveis. A importncia disso est na possibilidade
de se verificar o alcance e limites de um computador.
1.Um clebre teorema de Alonzo Church (1903-1995) demonstrou em 1936 que no pode existir um
procedimento geral de deciso para todas as expresses do Clculo de Predicados de 1a ordem,
ainda que exista tal procedimento para classes especiais de expresses de tal clculo.
2.O processo que determina o valor de uma funo atravs dos argumentos dessa funo chamado
de clculo da funo (ou computar uma funo).