Académique Documents
Professionnel Documents
Culture Documents
A HIPÓTESE DE
CHURCH
UNIFESO
Ciência da Computação 3º Ano
Projeto e Análise de Algoritmos
Professor: Rafael
Equipe: Rafael Telles
Patrick
Williams
Histórico – Cálculo-lambda
• 1932 / 33 - O cálculo-lambda, elaborado
por Church era inconsistente, como o mostraram
Kleene e Rosser (1935).
Implicações
Implicações
• A evidência heurística;
• A equivalência das diversas formulações;
• O conceito de Turing de máquinas
computáveis
Curiosidades
• Poucos meses separaram a prova de Turing e a de
Church (seu orientador) que mostraram que o
problema da decisão não pode ser provado.
Referências:
• Sobrinho, Jacob Zimbarg. Aspectos da Tese de
Church-Turing. Instituto da Matemática, USP. São
Paulo, 1987.