Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da...
Transcript of Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da...
![Page 2: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/2.jpg)
Algoritmo
Sequência de instruções seguidas por um computador.
Alonzo Church.
An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics, Vol. 58, No. 2. (Apr., 1936), pp. 345-363.
Kurt Gödel.
Stephen C. Kleene. General Recursive Functions of Natural Numbers. MathematischeAnnalen 112 (1936).
Alan Turing.
On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, (Ser. 2, Vol. 42, 1937).
2
![Page 3: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/3.jpg)
David Hilbert (1862-1943)
3
Entscheidungsproblem – Um desafio lançado porDavid Hilbert em 1928, consiste em achar umalgoritmo que responda se um determinadoenunciado em lógica de primeira ordem é válido ounão.
Lógica de primeira ordem é completa?• Todo enunciado que pode ser provado é
verdadeiro (Completo).• Todo enunciado verdadeiro pode ser provado
(Consistente).
![Page 4: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/4.jpg)
Kurt Friedrich Gödel (1938-1978)
Teorema da Incompletude de Gödel (1928)
(Definição informal) Qualquer sistema formal capazde representar a aritmética de inteiros não pode sercompleto e consistente.
4
![Page 5: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/5.jpg)
Alonzo Church (1903-1995)
Lambda Calculus (1932)
E → x (variáveis)
| (λx.E) (funções)
| (E E) (aplicação)
5
![Page 6: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/6.jpg)
Alonzo Church (1903-1995)
Lambda Calculus (1932)
E → x (variáveis)
| (λx.E) (funções)
| (E E) (aplicação)
6
![Page 7: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/7.jpg)
Kurt Friedrich Gödel (1938-1978)
General Recursive Functions (1936)
Stephen Cole Kleene (1909-1994)
7
![Page 8: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/8.jpg)
Alan Mathison Turing (1912-1954)
Máquinas de Turing (1936)
8
... a1 ... ai ... an ... Fita
Estado atual
![Page 9: Projeto e Análise de Algoritmos - UDESC - CCT · Kurt Friedrich Gödel (1938-1978) Teorema da Incompletude de Gödel (1928) (Definição informal) Qualquer sistema formal capaz de](https://reader033.fdocumentos.tips/reader033/viewer/2022051803/5bda5c9209d3f2cc6e8c8887/html5/thumbnails/9.jpg)
Tratabilidade
Stephen A. Cook. 1971. The complexity of theorem-provingprocedures. In Proceedings of the third annual ACMsymposium on Theory of computing (STOC '71). ACM, NewYork, NY, USA, 151-158.
Leonid Levin (1973). "Универсальные задачи перебора"[Universal search problems]. Problems of InformationTransmission (in Russian). 9 (3): 115–116.
9